Handbook of Automated Reasoning (2 Volume Set)
Contributors: J. Alan Robinson (Editor); Andrei Voronkov (Editor)
Publisher: The MIT Press
Published: September 1, 2001
Language: eng
Format: Hardcover
Number of pages: 2150
ISBN-13: 9780262182232
Subjects: Artificial Intelligence - General; Computer Science; Logic; Computers / Computer Science; Computers; Computers - General Information; Automatic theorem proving; Qualitative reasoning; Science/Mathematics
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.