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 edition 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
History
- Created September 30, 2008
- 3 revisions
Wikipedia citation
×CloseCopy and paste this code into your Wikipedia page. Need help?
| August 16, 2012 | Edited by VacuumBot | Updated format '[microform] :' to 'Microform'; Removed author from Edition (author found in Work) |
| December 15, 2009 | Edited by WorkBot | link works |
| September 30, 2008 | Created by ImportBot | Imported from Oregon Libraries MARC record |