Check nearby libraries
Buy this book
This edition doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
Previews available in: English
Edition | Availability |
---|---|
1
Automated reasoning: introduction and applications
1984, Prentice-Hall
in English
0130544531 9780130544537
|
aaaa
|
Book Details
Edition Notes
Includes bibliographical references and index.
Classifications
The Physical Object
ID Numbers
Community Reviews (0)
Feedback?August 18, 2020 | Edited by ImportBot | import existing book |
November 18, 2018 | Edited by MARC Bot | import existing book |
February 9, 2018 | Created by ImportBot | import new book |