A Linguistic Approach to Automatic Theorem Proving.
CALIFORNIA UNIV SANTA CRUZ INFORMATION SCIENCES
Pagination or Media Count:
A method is discussed that maps theorem proving using clause interconnectivity graphs onto formal grammars. The languages generated by the grammars relate to the proofs of the theorems. Author
- Computer Programming and Software