Formulas for Generating Plans.

Abstract

A closed form is discussed that provides an interface between formal specification of problems and the algorithms that solve them. (Author)

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Apr 01, 1977
Accession Number
ADA045232

Entities

People

  • Sharon Sickel

Organizations

  • University of California, Santa Cruz

Tags

Communities of Interest

  • Ground and Sea Platforms

DTIC Thesaurus Topics

  • Algorithms
  • Calculus
  • California
  • Computations
  • Electronics Laboratories
  • Formal Languages
  • Grammars
  • Information Science
  • Information Systems
  • Language
  • Marine Corps
  • Mathematics
  • Military Research
  • Naval Operations
  • New York
  • Specifications
  • Standards