Conference on Automated Deduction

Bibliographische Detailangaben

Späterer Titel:	International Conference on Automated Deduction Proceedings / International Conference on Automated Deduction
Vorheriger Titel:	Workshop on Automated Deduction Proceedings / Workshop on Automated Deduction
Körperschaft:	Conference on Automated Deduction (VerfasserIn)
Format:	UnknownFormat
Sprache:	und
Veröffentlicht:	Berlin ; Heidelberg u.a. Springer 1980-1982
Schlagworte:	Zeitschrift > Konferenzschrift
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!