Rehosting the Theorem Prover.

Abstract

This letter represents the annual summary report for the period June 1, 1983 to May 31, 1984. Two different research activities were pursued during this period: rehosting theorem prover onto several different computers and extending the formal logic supported by the system. (Author)

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jul 13, 1984
Accession Number
ADA144356

Entities

People

  • J. S. Moore
  • R. S. Boyer

Organizations

  • University of Texas at Austin

Tags

Communities of Interest

  • Energy and Power Technologies

DTIC Thesaurus Topics

  • Artificial Intelligence Computing
  • Computer Science
  • Computers
  • Databases
  • High Level Language Architecture
  • Information Science
  • Information Systems
  • Language
  • Logic
  • Mathematics
  • Military Research
  • Operating Systems
  • Recursive Functions
  • Set Theory
  • Theorems

Readers

  • Artificial Intelligence
  • Military History of the United States in the 20th Century.
  • Software Engineering.