Proceedings / International Conference on Automated Deduction

Forts. als Monographie behandelt

Gespeichert in:

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

Beschreibung
Zusammenfassung:	Forts. als Monographie behandelt
Veröffentlicht:	7.1984 - 9.1988