Log in

Normal view MARC view ISBD view

Computer-aided reasoning : an approach

By: Kaufmann, Matt.

Contributor(s): Manolios, Panagiotis | Moore, J Strother.

Material type: materialTypeLabel

materialTypeLabel

BookSeries: Adances in formal methods.Publisher: Boston: Kluwer Academic Publishers, 2000Description: xv, 270 p.; : 24 cm.ISBN: 0792377443 .Subject(s): Expert systems | Electronic data processing | Formal methods | Sotware engineering | Reasoning | Gaming | TheoremDDC classification: 004.0151

Tags from this library: No tags from this library for this title. Log in to add tags.

Holdings ( 1 )
Comments ( 0 )

Item type	Current location	Call number	Status	Date due	Barcode
Books		004.0151 KAU (Browse shelf)	Available		015598

Browsing DAIICT Shelves Close shelf browser

Previous	No cover image available							Next
Previous	004.0151 JOU Journal of Discrete Algorithms	004.0151 KAN Foundations of Software Technology and Theoretical Computer Science : 29th conference, Kanpur, India, December 15-17, 2009 : proceedings	004.0151 KAR Arithmeum : old problems in discrete mathematics and its modern applications	004.0151 KAU Computer-aided reasoning : an approach	004.0151 KIN Numerical computations with GPUs	004.0151 LEW Essential discrete mathematics for computer science	004.0151 LEW Essential discrete mathematics for computer science	Next

There are no comments for this item.

Log in to your account to post a comment.

Powered by Koha