Accession Number:

ADA036340

Title:

A Hierarchical Technique for Mechanical Theorem Proving and Its Application to Programming Language Design.

Descriptive Note:

Computer science rept.,

Corporate Author:

NEW YORK UNIV N Y COURANT INST OF MATHEMATICAL SCIENCES

Personal Author(s):

Report Date:

1976-11-01

Pagination or Media Count:

177.0

Abstract:

Contents General Introduction and Review of the Literature The Theorem Proving System The Dilemma Programming Language The Geometry Program Experimental Results and Conclusions.

Subject Categories:

  • Theoretical Mathematics
  • Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE