Automated theorem proving : an overview
Author
Source
The Arabian Journal for Science and Engineering. Section B, Engineering
Issue
Vol. 22, Issue 2B (31 Oct. 1997), pp.245-258, 14 p.
Publisher
King Fahd University of Petroleum and Minerals
Publication Date
1997-10-31
Country of Publication
Saudi Arabia
No. of Pages
14
Main Subjects
Information Technology and Computer Science
Abstract EN
Automated Theorem Provers are computer programs written to prove, or help in proving, mathematical and non-mathematical theorems.
Automated Theorem Proving (ATP) is a rapidly advancing field and contains many potential research areas.
This paper is an overview of this important field.
It starts by giving the needed mathematical background followed by an overview.
The overview includes historical background, basic terminology and notations and a description of the major components of a typical theorem prover.
The paper also outlines the current state of research in ATP and a brief description of some of the existing theorem provers.
American Psychological Association (APA)
al-Maghribi, Talal H.. 1997. Automated theorem proving : an overview. The Arabian Journal for Science and Engineering. Section B, Engineering،Vol. 22, no. 2B, pp.245-258.
https://search.emarefa.net/detail/BIM-390265
Modern Language Association (MLA)
al-Maghribi, Talal H.. Automated theorem proving : an overview. The Arabian Journal for Science and Engineering. Section B, Engineering Vol. 22, no. 2B (Oct. 1997), pp.245-258.
https://search.emarefa.net/detail/BIM-390265
American Medical Association (AMA)
al-Maghribi, Talal H.. Automated theorem proving : an overview. The Arabian Journal for Science and Engineering. Section B, Engineering. 1997. Vol. 22, no. 2B, pp.245-258.
https://search.emarefa.net/detail/BIM-390265
Data Type
Journal Articles
Language
English
Notes
Includes bibliographical references : p. 257-258
Record ID
BIM-390265