Computer-aided reasoning
Subtitle: ACL2 case studies
By: edited by Matt Kaufmann, Panagiotis  Manolios, J Strother Moore.
Contributors: Kaufmann, Matt.; Manolios, Panagiotis.; Moore, J Strother, 1947-
Series: Advances in formal methods -- 4.
Publisher: Kluwer Academic Publishers
Published: 2000
Place of publication: Boston
Language: eng
Number of pages: 337
Subjects: Expert systems (Computer science); Computer-aided design
Notes: Includes bibliographical references (p. [317]-324) and index.