Treffer: Automated deduction
Titel:
Automated deduction : proceedings / CADE 13, 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30 - August 3, 1996. M. A. McRobbie ... (eds.)
Beteiligt:
Körperschaft:
Veröffentlicht:
Berlin : Springer, 1996
Umfang:
XV, 764 Seiten : Diagramme
Publikationstyp:
Sprache:
Englisch
Schriftenreihe/Mehrbändiges Werk:
Lecture notes in computer science ; 1104 : Lecture notes in artificial intelligence
alle Bände anzeigen
alle Bände anzeigen
Anmerkungen:
Literaturangaben
Schlagworte:
ISBN:
3540615113