Computer-aided reasoning : ACL2 case studies /

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.