Proceedings

Forts. als Monographie behandelt

Gespeichert in:

Bibliographische Detailangaben
Vorheriger Titel:	Conference on Automated Deduction Conference on Automated Deduction
Körperschaften:	International Conference on Automated Deduction (VerfasserIn), Lecture notes in computer science Proceedings - International Conference on Automated Deduction (BerichterstatterIn)
Format:	UnknownFormat
Sprache:	und
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!

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