Automatic Theorem Proving.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
May 31, 1977
Accession Number
ADA047114

Entities

People

  • Sharon Sickel

Organizations

  • University of California, Santa Cruz

Tags

Communities of Interest

  • Ground and Sea Platforms

DTIC Thesaurus Topics

  • Abstracts
  • Artificial Intelligence
  • Automata Theory
  • Computer Languages
  • Computer Programming
  • Computer Science
  • Computers
  • Electronics Laboratories
  • Formal Languages
  • Information Science
  • Information Systems
  • Military Research
  • Naval Operations
  • New York
  • Security
  • Structured Programming
  • Universities