An edition of STAR (simple tool for automated reasoning)
(1985)
STAR (simple tool for automated reasoning)
tutorial guide and reference manual
by Cary C. Borchardt
Share
×Close
This work doesn't have a description yet. Can you add one?
Buy this book
| Edition | Availability |
|---|---|
1
STAR (simple tool for automated reasoning): tutorial guide and reference manual
1985, National Aeronautics and Space Administration, Jet Propulsion Laboratory, California Institute of Technology, National Technical Information Service, distributor
Microform
in English
|
aaaa
|
Book Details
Edition Notes
Distributed to depository libraries in microfiche.
Microfiche. [Washington, D.C. : National Aeronautics and Space Administration, 1986] 3 microfiches.
The Physical Object
Edition Identifiers
Work Identifiers
Community Reviews (0)
Lists
| January 22, 2010 | Edited by WorkBot | add more information to works |
| December 11, 2009 | Created by WorkBot | add works page |