Accession Number:

ADA045593

Title:

A Linguistic Approach to Automatic Theorem Proving.

Descriptive Note:

Technical rept.,

Corporate Author:

CALIFORNIA UNIV SANTA CRUZ INFORMATION SCIENCES

Personal Author(s):

Report Date:

1976-08-01

Pagination or Media Count:

12.0

Abstract:

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

Subject Categories:

  • Computer Programming and Software
  • Cybernetics

Distribution Statement:

APPROVED FOR PUBLIC RELEASE