Cover Image

Computer-aided reasoning : ACL2 case studies /

Show other versions (1)
Bibliographic Details
Other Authors: Kaufmann, Matt, Manolios, Panagiotis, Moore, J Strother, 1947-
Format: Book
Language:English
Published: Boston : Kluwer Academic Publishers, [2000]
Series:Advances in formal methods ; 4.
Subjects:
Expert systems (Computer science)
Computer-aided design.
Description
Physical Description:xv, 337 pages ; 25 cm.
Bibliography:Includes bibliographical references (pages [317]-324) and index.
ISBN:0792378490 (alk. paper)