Katalog der Deutschen Nationalbibliothek

Neuigkeiten

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

 
 

Ergebnis der Suche nach: idn=002905159



Zurück



Veranstaltungen
Link zu diesem Datensatz https://d-nb.info/gnd/290515-2
Veranstaltung Workshop on Automated Deduction
Vorgänger Conference on Automated Deduction
Typ Veranstaltungsfolge (vif)





Treffer 1 von 1
< < > <




Aktionen

Aktionen




E-Mail-IconAdministration