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!

Titel	Jahr	Band
5th Conference on Automated Deduction : Les Arcs, France, July 8 - 11, 1980	1980	87