Search the Library Catalogue
Computer-aided reasoning : an approach by Matt Kaufmann, Panagiotis Manolios, J Strother Moore
Publication details: Deventer, The Netherlands ; Boston, MA Kluwer Academic Publishers c2000Description: xv, 270 p. ; 25 cmISBN:- 9780792377443
- 38636
- 004.0151 KAU
| Current library | Call number | Status | Date due | Barcode | |
|---|---|---|---|---|---|
| Anna Centenary Library | 004.0151 KAU (Browse shelf(Opens below)) | Available | 210173 |
Browsing Anna Centenary Library shelves Close shelf browser (Hides shelf browser)
| 004.0151 HEI Discrete structures, logic, and computability | 004.0151 HEI Discrete structures, logic, and computability | 004.0151 HEI Discrete structures, logic, and computability | 004.0151 KAU Computer-aided reasoning : an approach | 004.0151 KOH Information algebras : generic structures for inference | 004.0151 KOM The Lanczos method : evolution and application | 004.0151 KRI Introduction to formal langages,automata theory and computation |
Includes bibliographical references (p. [257]-259) and index
There are no comments on this title.
Log in to your account to post a comment.