Automated Deduction - Cade-11
Subtitle: 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992. Proceedings (Lecture ... Computer Science / Lecture Notes in Artific)
Publisher: Springer
Published: June 1992
Language: eng
Format: Paperback
Number of pages: 793
ISBN-13: 9783540556022
Subjects: Artificial intelligence; Artificial Intelligence - General; Logic; Mathematics; Congresses; Logic, Symbolic and mathematical