Fascinating Country in the World of Computing, A: Your Guide to Automated Reasoning [With CDROM]

by Gail W. Pieper and Larry Wos

This book shows you -- through examples and puzzles and intriguing questions -- how to make your computer reason logically. To help you, the book includes a CD-ROM with OTTER, the world's most powerful general-purpose reasoning program. The automation of reasoning has advanced markedly in the past few decades, and this book discusses some of the remarkable successes that automated reasoning programs have had in tackling challenging problems in mathematics,...

• Format: Hardcover
• Language: English
• ISBN: 9810239106
• ISBN13: 9789810239107
• Release Date: June 2000
• Publisher: World Scientific Publishing Company
• Length: 608 Pages
• Weight: 2.15 lbs.
• Dimensions: 1.5" x 6.4" x 8.8"