Diskussion:Harald Ganzinger

Toter Weblink

Bei mehreren automatisierten Botläufen wurde der folgende Weblink als nicht verfügbar erkannt. Bitte überprüfe, ob der Link tatsächlich down ist, und korrigiere oder entferne ihn in diesem Fall!

• http://www.cs.man.ac.uk/~voronkov/handbook-ar/
  • In Harald Ganzinger on Fri Oct 6 22:29:51 2006, Socket Error: (-3, 'Tempor\xc3\xa4rer Fehler bei der Namensaufl\xc3\xb6sung')
  • In Harald Ganzinger on Mon Nov 6 23:25:55 2006, 404 Not Found

--Zwobot 23:27, 6. Nov. 2006 (CET)

Aufgeräumt

Ich habe das Schriftenverzeichnis ein wenig aufgeräumt. Die jetzt angegebenen Artikel sind nach meinem Eindruck und Google Scholar wohl die einflußreichsten. Der tote Link ist gelöscht; das verlinkte Papier ist, wie andere auch, über Harald Ganzingers persönliche Webseite erreichbar.

Angesichts der Tatsache, daß Citeseer seit einiger Zeit ziemlich veraltet ist (seit Jahren keine Updates), plädiere ich außerdem dafür, den Citeseer-Verweis zu streichen.

--Uwe Waldmann 18:35, 16. März 2007 (CET)