Open Library beta
Log in
[Edit][History] last modified april 30, 2008
/templates/advanced_search.tmpl: error in processing template: AttributeError: 'title' (falling back to default template)
/templates/advanced_search.tmpl: error in processing template: AttributeError: 'title' (falling back to default template)
/opt/openlibrary/production/openlibrary/plugins/oltemplates/templates/advanced_search.html: error in processing template: AttributeError: 'title' (falling back to default template)
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!