Treffer: Conference on automated deduction
Titel:
Conference on automated deduction : 5th conference, Les Arcs, France, July 8-11, 1980 / ed. by W. Bibel ...
Verantwortlich:
Körperschaft:
Veröffentlicht:
Berlin : Springer, 1980
Umfang:
VII, 385 S.
Publikationstyp:
Sprache:
Englisch
Schriftenreihe/Mehrbändiges Werk:
Lecture notes in computer science ; 87
alle Bände anzeigen
alle Bände anzeigen
Anmerkungen:
Literaturangaben
ISBN:
3540100091