The Efficiency of Theorem Proving Strategies
Subtitle: A Comparative and Asymptotic Analysis (Computational Intelligence)
Edition: 2 edition
Publisher: GWV-Vieweg
Published: October 28, 1999
Language: eng
Format: Paperback
Number of pages: 170
ISBN-13: 9783528155742
Subjects: Applied mathematics; Artificial intelligence; Computers; Automata; Computer Logic; Computers - General Information; Computer Books: General; Science/Mathematics; Artificial Intelligence - General; Computers / Artificial Intelligence; Computer Science
First sentence: The efficiency of a theorem prover is more directly influenced by the total number of inferences performed before a proof is found than by the size of the final proof.