Proceedings

Bibliographische Detailangaben

Vorheriger Titel:	Conference on Automated Deduction Conference on Automated Deduction
Körperschaft:	International Conference on Automated Deduction (VerfasserIn)
Format:	Tagungsbericht Zeitschrift
Sprache:	Undetermined
Veröffentlicht:	Berlin ; Heidelberg [u.a.] Springer 1984-1988
Schlagworte:	Automatisches Beweisverfahren Zeitschrift Konferenzschrift
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!