Katalog der Deutschen Nationalbibliothek

Neuigkeiten

Leichte Bedienung, intuitive Suche: Die Betaversion unseres neuen Katalogs ist online! → Zur Betaversion des neuen DNB-Katalogs

 
Neuigkeiten Aktuell kommt es bei einigen unserer Dienste zu technischen Störungen. Wir arbeiten daran, das Problem zu lösen.
 
Neuigkeiten Mittwoch, den 10. Juni 2026 öffnen die Lesesäle der Deutschen Nationalbibliothek in Leipzig erst ab 13 Uhr. // On Wednesday 10 June 2026 The German National Library in Leipzig will not open until 13:00.
 
 

Ergebnis der Suche nach: idn=001259547



Zurück



Veranstaltungen
Link zu diesem Datensatz https://d-nb.info/gnd/125954-4
Veranstaltung Conference on Automated Deduction
Quelle LCAuth
Land Sonstiges Ausland, Unbekanntes Land (ZZ)
Vorgänger Workshop on Automated Deduction
Nachfolger International Conference on Automated Deduction
Typ Veranstaltungsfolge (vif)
Autor von 1 Publikation
  1. ... Conference on Automated Deduction
    Conference on Automated Deduction. - Berlin : Springer





Treffer 1 von 1
< < > <




Aktionen

Aktionen




E-Mail-IconAdministration