Theorem Proving Algorithm

Loading...
Thumbnail Image
Authors
Artasanchez, Alberto
Issue Date
1989
Type
Thesis
Language
en_US
Keywords
Research Projects
Organizational Units
Journal Issue
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
Journal
Volume
Issue
PubMed ID
DOI
ISSN
EISSN