An edition of Automated Reasoning
(1987)
Automated Reasoning
Introduction and Applications/Book & Disk
2 Har/Dsk edition
by Larry Wos
- 0 Ratings
- 2 Want to read
- 0 Currently reading
- 0 Have read
Share
×Close
Last edited by IdentifierBot
August 12, 2010 | History
This edition doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
Previews available in: English
Showing 5 featured editions. View all 5 editions?
| Edition | Availability |
|---|---|
1
Automated Reasoning: Introduction and Applications/Book & Disk
March 1992, Mcgraw-Hill (Tx)
Hardcover
in English
- 2 Har/Dsk edition
007911251X 9780079112514
|
aaaa
Libraries near you:
WorldCat
|
|
2
Automated Reasoning: Introduction and Applications/Book & Disk
March 1992, Mcgraw-Hill (Tx)
in English
007911251X 9780079112514
|
zzzz
Libraries near you:
WorldCat
|
3
Automated reasoning: 33 basic research problems
1988, Prentice-Hall
in English
013054552X 9780130545527
|
cccc
Libraries near you:
WorldCat
|
4
Automated Reasoning: 33 Basic Research Problems
November 1987, Prentice Hall
Paperback
013054552X 9780130545527
|
zzzz
Libraries near you:
WorldCat
|
5
Automated Reasoning: 33 Basic Research Problems
November 1987, Prentice Hall
013054552X 9780130545527
|
zzzz
Libraries near you:
WorldCat
|
Book Details
The Physical Object
ID Numbers
Community Reviews (0)
Feedback?
History
- Created April 30, 2008
- 5 revisions
Wikipedia citation
×CloseCopy and paste this code into your Wikipedia page. Need help?
| August 12, 2010 | Edited by IdentifierBot | added LibraryThing ID |
| April 24, 2010 | Edited by Open Library Bot | Fixed duplicate goodreads IDs. |
| April 16, 2010 | Edited by bgimpertBot | Added goodreads ID. |
| December 15, 2009 | Edited by WorkBot | link works |
| April 30, 2008 | Created by an anonymous user | Imported from amazon.com record |