STAR (simple tool for automated reasoning)
Subtitle: tutorial guide and reference manual
By: Cary C. Borchardt.
Contributors: Jet Propulsion Laboratory (U.S.)
Series: NASA contractor report -- NASA CR-177157.
Publisher: National Aeronautics and Space Administration, Jet Propulsion Laboratory, California Institute of Technology; National Technical Information Service, distributor
Published: 1985
Place of publication: Pasadena, Calif; [Springfield, Va
Language: eng
Format: Microform
Subjects: Algorithms.; Artificial intelligence.; Interactive control.; Programming languages.; Software engineering.; Software tools.; Symbolic programming.; User manuals (Computer programs)
Notes: Distributed to depository libraries in microfiche.

Microfiche. [Washington, D.C. : National Aeronautics and Space Administration, 1986] 3 microfiches.