Handbook of Automated Reasoning
Contributors: J. Alan Robinson (Editor); Andrei Voronkov (Editor)
Publisher: The MIT Press
Published: September 1, 2001
Language: eng
Format: Hardcover
Number of pages: 996
ISBN-13: 9780262182218
Subjects: Automata; Computer Logic; Computers; Computers - General Information; Computer Books: General; Artificial Intelligence - General; Computer Science; Logic; Computers / Computer Science; Automatic theorem proving; Qualitative reasoning
First sentence: With the ready availability of serious computer power, deductive reasoning, especially as embodied in mathematics, presented an ideal target for those interested in experimenting with computer programs that purported to implement the "higher" human faculties.