STAR (simple tool for automated reasoning)

tutorial guide and reference manual

By Cary C. Borchardt

0 (0 Ratings)

0 Want to read0 Currently reading0 Have read

Publish Date

1985

Publisher

National Aeronautics and Space Administration, Jet Propulsion Laboratory, California Institute of Technology,National Technical Information Service, distributor

Language

eng

Pages

1-1 of 1 Editions

STAR (simple tool for automated reasoning)

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

Language: eng

Published In: 1985

Publisher: National Aeronautics and Space Administration, Jet Propulsion Laboratory, California Institute of Technology, National Technical Information Service, distributor