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