Back to Search
Start Over
Evidence Algorithm and processing Formalized Mathematical Texts.
- Source :
- Journal of Automation & Information Sciences; 2002, Vol. 34 Issue 9-12, p1-12, 12p
- Publication Year :
- 2002
-
Abstract
- Results of modern studies, on the so-called Evidence Algorithm, a program of automated theorem proving, initiated by V. M. Glushkov in sixties, are presented. Means of linguistic and deductive maintenance of this program are described. [ABSTRACT FROM AUTHOR]
- Subjects :
- ALGORITHMS
AUTOMATIC theorem proving
Subjects
Details
- Language :
- English
- ISSN :
- 10642315
- Volume :
- 34
- Issue :
- 9-12
- Database :
- Supplemental Index
- Journal :
- Journal of Automation & Information Sciences
- Publication Type :
- Academic Journal
- Accession number :
- 12802764