Computer Science Research Review 1970-71

Abstract

This is the annual report published by the Dept of Computer Science, Carnegie-Mellon University, Pittsburgh, Penn. The reporting period is from 1970-1971. The series of papers includes A brief primer on Resolution Proof Procedures by Donald W. Loveland, Control Structures by David A. Fisher, Bliss: A Language for Programming Systems by William A. Wulf and the Kernal Approach to Building Software Systems by Allen Newell, Peter Freeman, Donald McCracken, and George Robertson.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Aug 18, 1971
Accession Number
AD0737563

Entities

People

  • Tom Moran

Organizations

  • Carnegie Mellon University

Tags

Communities of Interest

  • Biomedical
  • C4I
  • Cyber
  • Weapons Technologies

DTIC Thesaurus Topics

  • Artificial Intelligence
  • Automata
  • Automata Theory
  • Automated Speech Recognition
  • Cognition
  • Computer Languages
  • Computer Programming
  • Computer Programs
  • Computer Science
  • Computers
  • Electrical Engineering
  • Formal Languages
  • Grammars
  • Language
  • Programming Languages
  • Psychology
  • Recognition

Readers

  • Clinical Trial Research.
  • Computer Science.
  • Military History