LARGE SCALE INFORMATION PROCESSING SYSTEMS. VOLUME IV. SPECIAL INVESTIGATIONS.

Abstract

Contents: Computer aided instruction; A categorical verification of automata theory; Computer aided design of inventory systems; Computer generated films; Instructional applications; A note on the solution of sequential boolean equations.

Document Details

Document Type
Technical Report
Publication Date
May 01, 1970
Accession Number
AD0708728

Entities

People

  • D. Weiner
  • K. Fishell
  • R. Prather
  • R. Sargent
  • W. Lepage

Organizations

  • Syracuse University

Tags

DTIC Thesaurus Topics

  • Automata
  • Automata Theory
  • Computer-Aided Design
  • Computer-Aided Instruction
  • Computers
  • Equations
  • Image Processing
  • Information Processing
  • Information Systems
  • Instructions
  • Inventory
  • Robotics
  • Verification

Readers

  • Computer Science.
  • Mathematical Modeling and Probability Theory.