Handbook of Automated Reasoning
Contributors: Alan Robinson (Editor); Andrei Voronkov (Editor)
Publisher: North Holland; Elsevier; MIT Press
Published: June 22, 2001
Language: eng
Format: Hardcover
Number of pages: 2128
ISBN-13: 9780444508133
Subjects: Mathematical theory of computation; Computers; Mathematics; Computer Books: General; Information Theory; Logic; Computers & Internet; Computers / Information Theory; Artificial Intelligence - General; 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.