International Conference on Automated Deduction

Art des Eintrags

Kongressfolge oder Veranstaltungsfolge, Konferenz oder Veranstaltung

Bevorzugter Name

International Conference on Automated Deduction

Variante Namen

• Conference on Automated Deduction
• CADE (International Conference on Automated Deduction)

mehr...

weniger...

GND-ID

1092454-1

Mehr Informationen

• lobid.org
• Deutsche Nationalbibliothek (DNB)

Daten bereitgestellt von lobid-gnd, ein Dienst des Hochschulbibliothekszentrum des Landes NRW (hbz)