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
Notes: Distributed to depository libraries in microfiche

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