Theorem Proving Algorithm
Loading...
Authors
Artasanchez, Alberto
Issue Date
1989
Type
Thesis
Language
en_US
Keywords
Alternative Title
Abstract
The ability to prove theorems in mathematics is a good
example of an intellectual faculty and one that is relevant to the
construction of reasoning programs. Examples of such programs are
the ones capable of finding proofs for theorems within mathematical
theories. Such programs are called theorem provers. We will first
analyze developments in computer science in this field and later a
basic theorem prover will be presented.
Description
59 p.
Citation
Publisher
License
U.S. copyright laws protect this material. Commercial use or distribution of this material is not permitted without prior written