[Edit][History] last modified april 30, 2008
description
[]


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.

Table of contents
[]

No table of contents available Disclosure Arrow Add it!