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

Description:

subjects: Interactive control, Software tools, Software engineering, Programming languages, User manuals (Computer programs), Symbolic programming, Algorithms, Artificial intelligence