Treffer: Proceedings / 8th International Conference on Automated Deduction
Titel:
Proceedings / 8th International Conference on Automated Deduction : Oxford, England, July 27 - Aug. 1, 1986 / ed. by Jörg H. Siekmann
Beteiligt:
Veröffentlicht:
Berlin [u.a.] : Springer, 1986
Umfang:
IX, 708 S. : graph. Darst.
Publikationstyp:
Sprache:
Englisch
Schriftenreihe/Mehrbändiges Werk:
Lecture notes in computer science ; 230
alle Bände anzeigen
alle Bände anzeigen
RVK-Notation:
ISBN:
3540167803 ; 0387167803