10th International Conference on Automated Deduction (Lecture Notes in Computer Science / Lecture Notes in Artific)
Publisher: Springer
Published: October 1, 2007
Language: eng
Format: Paperback
Number of pages: 708
ISBN-13: 9783540528852
Subjects: Artificial intelligence; Computers - General Information; Artificial Intelligence - General; Logic