Automated Reasoning
Subtitle: 33 Basic Research Problems
Publisher: Prentice Hall
Published: November 1987
Format: Paperback
Number of pages: 319
ISBN-13: 9780130545527
Subjects: Automatic theorem proving; Computer Bks - General Information; Computer Books: Operating Systems; Artificial Intelligence; Computer programming; Programming (Computers)