An edition of Computer-aided reasoning
(2000)
Computer-aided reasoning
an approach
by Matt Kaufmann, Panagiotis Manolios, and J. Strother Moore
- 0 Ratings
- 0 Want to read
- 0 Currently reading
- 0 Have read
Share
×Close
"Computer-Aided Reasoning: An Approach is a textbook introduction to computer-aided reasoning. It can be used in graduate and upper-division undergraduate courses on Software Engineering or Formal Methods. It is also suitable in conjunction with other books in courses on hardware design, discrete mathematics, or theory, especially courses stressing formalism, rigor, or mechanized support.
It is also appropriate for courses on artificial intelligence or automated reasoning and as a reference for business and industry."--BOOK JACKET.
Check nearby libraries
Buy this book
Previews available in: English
Subjects
Expert systems (Computer science), Formal methods (Computer science), Software engineering, Knowledge-based systems / expert systems, Computers - General Information, Programming - Software Development, Formal Language Theory, Computers, Formal methods (Computer scien, Computer Books: General, Expert systems (Computer scien, Artificial Intelligence - General, General, Computers / Artificial Intelligence, Computers / Computer Science, Computers-Programming - Software Development, Mathematics-General, Computer Science, Sotware engineering, Computer-aided designShowing 6 featured editions. View all 6 editions?
| Edition | Availability |
|---|---|
1
|
zzzz
Libraries near you:
WorldCat
|
2
Computer-Aided Reasoning: An Approach (Advances in Formal Methods)
July 31, 2000, Springer
Hardcover
in English
- 1 edition
0792377443 9780792377443
|
zzzz
Libraries near you:
WorldCat
|
|
3
Computer-aided reasoning: ACL2 case studies
2000, Kluwer Academic Publishers
in English
0792378490 9780792378495
|
zzzz
Libraries near you:
WorldCat
|
|
4
|
zzzz
Libraries near you:
WorldCat
|
5
Computer-aided reasoning: an approach
2000, Kluwer Academic Publishers
in English
0792377443 9780792377443
|
aaaa
Libraries near you:
WorldCat
|
6
Computer-Aided Reasoning: ACL2 Case Studies (Advances in Formal Methods)
June 30, 2000, Springer
Hardcover
in English
- 1 edition
0792378490 9780792378495
|
zzzz
Libraries near you:
WorldCat
|
Book Details
Edition Notes
Includes bibliographical references (p. [257]-259) and index.
Classifications
The Physical Object
ID Numbers
Community Reviews (0)
Feedback?
| July 12, 2024 | Edited by MARC Bot | import existing book |
| October 4, 2021 | Edited by ImportBot | import existing book |
| July 28, 2020 | Edited by MARC Bot | import existing book |
| July 31, 2019 | Edited by MARC Bot | associate edition with work OL8362495W |
| December 10, 2009 | Created by WorkBot | add works page |