Computer-Aided Reasoning / Acl2 Case Studies (Pt. 2)

An Approach

Editor: MattKaufmann

Kluwer Academic Publishers Group (Netherlands), 2000
Hardback, 360 pages
Size: 235x155 mm
ISBN: 9780792378495
ISBN-10: 0792378490

Our price: £178.00

Usually ships within 1 week.

Will be shipped from: United Kingdom
 Add to Shopping Basket 

Computer-Aided Reasoning / Acl2 Case Studies

Illustrates how the computer-aided reasoning system ACL2 can be used in productive and innovative ways to design, build, and maintain hardware and software systems. This title includes technical papers written by twenty-one contributors that report on self-contained case studies, some of which are sanitized industrial projects.

Related links:

Matt Kaufmann
Knowledge-based systems / expert systems
Artificial intelligence
Applications of computing
Computing and information technology
Kluwer Academic Publishers Group

More information from Wikipedia:

Matt Kaufmann
© 2006-2009 Eruditor Ltd and its partners

Search

Whole catalogue
Mind, body, spirit

Advanced Search

Browse

Authors’ Name Index

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Share |