Treffer: Automated deduction
Titel:
Automated deduction : proceedings / CADE-11, Saratoga Springs, NY, USA, June 15 - 18, 1992. D. Kapur (ed.)
Beteiligt:
Körperschaft:
Veröffentlicht:
Berlin : Springer, 1992
Umfang:
XV, 793 Seiten : Diagramme
Publikationstyp:
Sprache:
Englisch
Schriftenreihe/Mehrbändiges Werk:
Lecture notes in computer science ; 607 : Lecture notes in artificial intelligence
alle Bände anzeigen
alle Bände anzeigen
Anmerkungen:
Literaturangaben
RVK-Notation:
Schlagworte:
ISBN:
3540556028 ; 0387556028