A Computational Logic Handbook
- List Price: $74.00
- Binding: Hardcover
- Edition: 0002
- Publisher: Academic Press
- Publish date: 02/01/2004
Description:
This book provides the definitive documentation for one of the most well-known & highly regarded theorem-proving programs ever written. The program described is one of the more significant, enduring, & prize-awarded accomplishments in the fields of artificial intelligence, formal methods, & applied logic. The book provides an exact statement of the logic for which the program is a prover, a complete description of the users commands, installation instructions, & much tutorial information, including references to thousands of pages of examples. Among the examples is a formally verified microprocessor & a formally verified compiler targeting that microprocessor.
Expand description
Please Wait