Kaufmann Matt, Manolios Panagiotis, Moore J.Strother:
Computer-Aided Reasoning / Acl2 Studies (Pt. 1)

An Approach

Kluwer Academic Publishers Group (Netherlands), 2000
Hardback, 292 pages
Size: 234x156 mm
ISBN: 9780792377443
ISBN-10: 0792377443

Our price: £150.50

Usually ships within 1 week.

Will be shipped from: United Kingdom
 Add to Shopping Basket 

Computer-Aided Reasoning / Acl2 Studies

By modeling computing systems mathematically, we obtain models that we can prove behave correctly. This book presents a practical functional programming language closely related to Common Lisp which is used to define functions (which can model computing systems) and to make assertions about defined functions.

Related links:

Matt Kaufmann
Panagiotis Manolios
J.Strother Moore
Knowledge-based systems / expert systems
Artificial intelligence
Applications of computing
Computing and information technology
Kluwer Academic Publishers Group

More information from Wikipedia:

Matt Kaufmann
Panagiotis Manolios
J.Strother Moore
© 2006-2009 Eruditor Ltd and its partners

Search

Whole catalogue
Social history

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 |