Result: Automated deduction
Title:
Automated deduction : proceedings / CADE 13, 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30 - August 3, 1996. M. A. McRobbie ... (eds.)
Involved:
Published:
Berlin : Springer, 1996
Scope:
XV, 764 Seiten : Diagramme
Resource Type:
Language:
English
Series/ Mutipart item:
Lecture notes in computer science ; 1104 : Lecture notes in artificial intelligence
Show all volumes
Show all volumes
Notes:
Literaturangaben
Subject Added Keywords:
ISBN:
3540615113