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=004429001



Zurück



Veranstaltungen
Link zu diesem Datensatz https://d-nb.info/gnd/1092454-1
Veranstaltung International Conference on Automated Deduction
Andere Namen CADE (International Conference on Automated Deduction)
Conference on Automated Deduction
Quelle LCAuth
Land Sonstiges Ausland, Unbekanntes Land (ZZ)
Vorgänger Conference on Automated Deduction
Typ Veranstaltungsfolge (vif)
Autor von 1 Publikation
  1. Proceedings / International Conference on Automated Deduction
    International Conference on Automated Deduction. - Berlin : Springer
Untergeordnet 15 Datensätze
  1. CADE (International Conference on Automated Deduction (24 : 2013 : Lake Placid, NY)
    Veranstaltung (vie)
  2. CADE (23 : 2011 : Breslau, International Conference on Automated Deduction)
    Veranstaltung (vie)
  3. ...





Treffer 1 von 1
< < > <




Aktionen

Aktionen




E-Mail-IconAdministration