An edition of Automated reasoning
(1992)
Automated reasoning
introduction and applications
2nd ed.
by Larry Wos
- 0 Ratings
- 0 Want to read
- 0 Currently reading
- 0 Have read
Share
×Close
![Cover of: Automated reasoning by Larry Wos ... [et al.].](http://covers.openlibrary.org/b/id/13005107-L.jpg)
This edition doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
Previews available in: English
Showing 1 featured edition. View all 1 editions?
| Edition | Availability |
|---|---|
1
Automated reasoning: introduction and applications
1992, McGraw-Hill
in English
- 2nd ed.
007911251X 9780079112514
|
aaaa
Libraries near you:
WorldCat
|
Book Details
Edition Notes
Includes bibliographical references and index.
System requirements for computer disk (OTTO 2.2): IBM PC compatible or Sun workstation.
Classifications
The Physical Object
ID Numbers
Community Reviews (0)
Feedback?
| November 16, 2022 | Edited by ImportBot | import existing book |
| March 11, 2019 | Created by MARC Bot | import existing book |