Automated Reasoning
Subtitle: Essays in Honor of Woody Bledsoe (Automated Reasoning Series)
Edition: 1 edition
Publisher: Springer
Published: December 31, 1899
Language: eng
Format: Hardcover
Number of pages: 380
ISBN-13: 9780792314097
Subjects: Artificial intelligence; Life Sciences - Zoology - General; Automata; Computers; Computers - General Information; Computer Books: General; Science/Mathematics; Artificial Intelligence - General; Computer Science; Computers / Artificial Intelligence; Computer Bks - General Information; Automatic theorem proving