Automated Deduction - Cade-12
Subtitle: 12th International Conference on Automated Deduction, Nancy, France, June 26 - July 1, 1994. Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artific)
Publisher: Springer
Published: July 1994
Language: eng
Format: Paperback
Number of pages: 848
ISBN-13: 9783540581567
Subjects: Artificial intelligence; Artificial Intelligence - General; Expert Systems; Logic; Congresses; Logic, Symbolic and mathematic; Computers - General Information