COMBINING FORMAL DERIVATION SEARCH PROCEDURES AND NATURAL THEOREM-PROVING TECHNIQUES IN AN AUTOMATED THEOREM-PROVING SYSTEM

Authors
ATAYAN VV MOROKHOVETS MK
Citation
Vv. Atayan et Mk. Morokhovets, COMBINING FORMAL DERIVATION SEARCH PROCEDURES AND NATURAL THEOREM-PROVING TECHNIQUES IN AN AUTOMATED THEOREM-PROVING SYSTEM, Cybernetics and systems analysis, 32(3), 1996, pp. 442-465
Citations number
22
Categorie Soggetti
Controlo Theory & Cybernetics","Computer Science Cybernetics
Journal title
Cybernetics and systems analysis → ACNP
ISSN journal
10600396
Volume
32
Issue
3
Year of publication
1996
Pages
442 - 465
Database
ISI
SICI code
1060-0396(1996)32:3<442:CFDSPA>2.0.ZU;2-M