Computer-aided reasoning: an approach / Matt Kaufmann, Panagiotis Manolios and J Strother Moore.
Material type: TextSeries: Advances in formal methods ; 3Publication details: Boston: Kluwer Academic Publishers, 2000Description: xv, 270 p. : 24 cmISBN:- 0-7923-7744-3
- QA76.9 .K38 2000
Item type | Current library | Collection | Call number | Copy number | Status | Date due | Barcode | |
---|---|---|---|---|---|---|---|---|
Books | Informatics and Virtual Education Library Collection General Collection | Non-fiction | QA76.9 K38 2000 (Browse shelf(Opens below)) | C.1 | Available | 1300 | ||
Books | Informatics and Virtual Education Library Collection General Collection | Non-fiction | QA76.9 K38 2000 (Browse shelf(Opens below)) | C.2 | Available | 1729 |
Includes bibliographical references (p. [257]-259) and index.
There are no comments on this title.
Log in to your account to post a comment.