Research Catalog

STAR (simple tool for automated reasoning) tutorial guide and reference manual

Title
STAR (simple tool for automated reasoning) [microform] : tutorial guide and reference manual / Cary C. Borchardt.
Author
Borchardt, Cary C.
Publication
Pasadena, Calif. : National Aeronautics and Space Administration, Jet Propulsion Laboratory, California Institute of Technology ; [Springfield, Va. : National Technical Information Service, distributor, 1985]

Details

Additional Authors
Jet Propulsion Laboratory (U.S.)
Description
1 v.
Series Statement
NASA contractor report ; NASA CR-177157
Subject
  • Algorithms
  • Artificial intelligence
  • Interactive control
  • Programming languages
  • Software engineering
  • Software tools
  • Symbolic programming
  • User manuals (Computer programs)
Note
  • Distributed to depository libraries in microfiche.
Reproduction (note)
  • Microfiche.
Call Number
READEX Microfiche NAS 1.26:177157
OCLC
marcive33254520
Author
Borchardt, Cary C.
Title
STAR (simple tool for automated reasoning) [microform] : tutorial guide and reference manual / Cary C. Borchardt.
Imprint
Pasadena, Calif. : National Aeronautics and Space Administration, Jet Propulsion Laboratory, California Institute of Technology ; [Springfield, Va. : National Technical Information Service, distributor, 1985]
Series
NASA contractor report ; NASA CR-177157
Reproduction
Microfiche. [Washington, D.C. : National Aeronautics and Space Administration, 1986] 3 microfiches.
Added Author
Jet Propulsion Laboratory (U.S.)
Gpo Item No.
0830-H-14 (MF)
Sudoc No.
NAS 1.26:177157
Research Call Number
READEX Microfiche NAS 1.26:177157
View in Legacy Catalog