Recent Research in Computer Science

Abstract

This report summarizes recent accomplishments in six related areas: basic AI research and formal reasoning, image understanding, mathematical theory of computation, program verification, natural language understanding, and knowledge based programming.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jun 01, 1977
Accession Number
ADA044231

Entities

People

  • Cordell Green
  • David Luckham
  • John McCarthy
  • Thomas Binford
  • Zohar Manna

Organizations

  • Stanford University

Tags

Communities of Interest

  • Autonomy
  • Biomedical
  • Energy and Power Technologies
  • Human Systems
  • Materials and Manufacturing Processes
  • Sensors

DTIC Thesaurus Topics

  • Artificial Intelligence
  • Collision Avoidance
  • Computational Science
  • Computer Languages
  • Computer Programming
  • Computer Programs
  • Computer Science
  • Computers
  • Databases
  • Debugging
  • Grammars
  • Language
  • Linguistics
  • Operating Systems
  • Programming Languages
  • Quantum Cascade Lasers
  • Three Dimensional

Fields of Study

  • Computer science

Readers

  • Computational Linguistics
  • Mathematical Modeling and Probability Theory.
  • Technical Research and Report Writing.