Computer-aided reasoning : ACL2 case studies :: ISBN 0792378490 :: Kluwer Academic 2000 :: OBNB, the Open British National Bibliography

Publication Data

Title Computer-aided reasoning : ACL2 case studies
Contributors Matt Kaufmann, Panagiotis Manolios, J Strother Moore
Publisher Kluwer Academic
Publication date 2000
Publication location Boston
Language English

Topics

Expert systems (Computer science)
Computer-aided design

Catalogue Data

OBNB ID GBA050596
ISBN 10 0792378490
ISBN 13 n/a
Type BibliographicResource, Book
Dewey Classification 006.33

ISBD

P1053 xv,337p.
P1042 Includes bibliographical references and index.

Buy a copy

OBNB doesn't sell books, but you may be able to find a copy at one of these websites:

Computer-aided reasoning : ACL2 case studies. ISBN 0792378490. Published by Kluwer Academic in 2000. Publication and catalogue information, links to buy online and reader comments.