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: nid=125954-4



Treffer 1 von 1 < < > <



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