Normal view MARC view ISBD view

Computer-aided reasoning : ACL2 case studies

Material type: materialTypeLabel

BookSeries: Adances in formal methods.Publisher: Boston: Kluwer Academic Publishers, 2000Description: xv, 337 p.; ill.: 25 cm.ISBN: 0792378490 .Subject(s): Computer-aided design | Expert systems (Computer science)DDC classification: 006.33

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

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

Previous								Next
Previous	006.33 JAC Introduction to Expert Systems	006.33 JAC Introduction to Expert Systems	006.33 JAC Introduction to Expert Systems	006.33 KAU Computer-aided reasoning : ACL2 case studies	006.33 KIY Information modelling and knowledge bases xv	006.33 KLO Intelligent information processing and web mining : proceedings of the international iis: iipwm `04 conference held in zakopane, poland, may 17-20, 2004	006.33 LIG Logical foundations for rule-based systems	Next

There are no comments for this item.

Koha online