Results in Knowledge Based Program Synthesis

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jan 01, 1979
Accession Number
ADA070268

Entities

People

  • Beverly. I. Kedzierski
  • Brian P. Mccune
  • Cordell Green
  • Elaine Kant
  • Richard P. Gabriel

Tags

Communities of Interest

  • Human Systems

DTIC Thesaurus Topics

  • Acquisition
  • Artificial Intelligence
  • Classification
  • Computer Programming
  • Computer Programs
  • Computer Science
  • Computers
  • Cost Estimates
  • Efficiency
  • Information Retrieval
  • Language
  • Natural Languages
  • Numbers
  • Prime Numbers
  • Programming Languages
  • Specifications