Artificial Intelligence - General, Logic & Foundations of Mathematics, Computer Mathematics, Programming - General & Miscellaneous
Log in to track your reading progress.
Overview
This graduate textbook introduces the automation of logical reasoning and the language used by the Otter program to solve reasoning problems. Kalman (mathematics, University of Auckland) walks through Otter's fundamental operations, and demonstrates how to present questions and problems to Otter. The print on some pages is light and difficult to read. The CD-ROM contains input files. Annotation c. Book News, Inc., Portland, ORBook Details
Published
December 30, 2002
Publisher
IOS Press,US
Pages
536
Format
Hardcover
ISBN
9781589490048