Research Catalog
Computer-aided reasoning : an approach
- Title
- Computer-aided reasoning : an approach / by Matt Kaufmann, Panagiotis Manolios, J Strother Moore.
- Author
- Kaufmann, Matt.
- Publication
- Boston : Kluwer Academic Publishers, [2000], ©2000.
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
| Text | Request in advance | QA76.9.F67 K38 2000 | Off-site |
Details
- Additional Authors
- Description
- xv, 270 pages; 25 cm.
- Summary
- "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.
- Series Statement
- Advances in formal methods ; 3
- Uniform Title
- Advances in formal methods ; 3.
- Subjects
- Bibliography (note)
- Includes bibliographical references (p. [257]-259) and index.
- Contents
- 1. Introduction -- I. Preliminaries. 2. Overview -- II. Programming. 3. The Language. 4. Programming Exercises. 5. Macros -- III. Reasoning. 6. The Logic. 7. Proof Examples -- IV. Gaming. 8. The Mechanical Theorem Prover. 9. How to Use the Theorem Prover. 10. Theorem Prover Examples. 11. Theorem Prover Exercises. App. A. Using the ACL2 System -- App. B. Additional Features.
- ISBN
- 0792377443 (alk. paper)
- LCCN
- 00038636
- OCLC
- 43845631
- ocm43845631
- SCSB-3943449
- Owning Institutions
- Columbia University Libraries