Proceedings

Forts. als Monographie behandelt

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!