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, c2000.
Items in the Library & Off-site
Filter by
1 Item
Status | Format | Access | Call Number | Item Location |
---|---|---|---|---|
Text | Request in advance | JSE 00-1979 | Offsite |
Details
- Additional Authors
- Description
- xv, 270 p.; 25 cm.
- Series Statement
- Advances in formal methods ; 3
- Subjects
- Bibliography (note)
- Includes bibliographical references (p. [257]-259) and index.
- Call Number
- JSE 00-1979
- ISBN
- 0792377443 (alk. paper)
- LCCN
- 00038636
- OCLC
- vendor
- Author
- Kaufmann, Matt.
- Title
- Computer-aided reasoning : an approach / by Matt Kaufmann, Panagiotis Manolios, J Strother Moore.
- Imprint
- Boston : Kluwer Academic Publishers, c2000.
- Series
- Advances in formal methods ; 3
- Bibliography
- Includes bibliographical references (p. [257]-259) and index.
- Added Author
- Manolios, Panagiotis.Moore, J Strother, 1947-
- Research Call Number
- JSE 00-1979