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

Abstract

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

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Nov 01, 1976
Accession Number
ADA036340

Entities

People

  • Norman Rubin

Organizations

  • New York University

Tags

Communities of Interest

  • C4I

DTIC Thesaurus Topics

  • Analytic Geometry
  • Artificial Intelligence
  • Computations
  • Computer Languages
  • Computer Programming
  • Computer Programs
  • Computer Science
  • Computers
  • Debugging
  • Formal Languages
  • Geometry
  • Information Processing
  • Language
  • Models
  • Natural Languages
  • Programming Languages
  • Trees (Data Structures)

Readers

  • Computer Science.
  • Educational Psychology
  • Operations Research