Computer-Aided Reasoning
Subtitle: ACL2 Case Studies (Advances in Formal Methods)
Contributors: Matt Kaufmann (Editor); Panagiotis Manolios (Editor); J Strother Moore (Editor)
Edition: 1 edition
Publisher: Springer
Published: June 30, 2000
Language: eng
Format: Hardcover
Number of pages: 360
ISBN-13: 9780792378495
Subjects: Knowledge-based systems / expert systems; Software Design; Expert Systems; Computers; Computers - General Information; Science/Mathematics; Programming - Software Development; Expert systems (Computer scien; CAD-CAM - General; Computers / Computer Science; Computers / Expert Systems; Computers : CAD-CAM - General; Computer-aided design; Expert systems (Computer science)