Check nearby libraries
Buy this book
![Loading indicator](/images/ajax-loader-bar.gif)
This edition doesn't have a description yet. Can you add one?
Publish Date
1988
Publisher
Mathematics and Computer Science Division, Argonne National Laboratory,
available from NTIS
Language
English
Pages
81
Check nearby libraries
Buy this book
![Loading indicator](/images/ajax-loader-bar.gif)
Showing 1 featured edition. View all 1 editions?
Edition | Availability |
---|---|
1
Reference manual for the environmental theorem prover: an incarnation of AURA
1988, Mathematics and Computer Science Division, Argonne National Laboratory, available from NTIS
in English
|
aaaa
Libraries near you:
WorldCat
|
Book Details
Edition Notes
Classifications
The Physical Object
ID Numbers
Source records
Community Reviews (0)
Feedback?January 3, 2023 | Created by MARC Bot | import new book |