ONTIC, the interactive system for verifying "natural" mathematical arguments that David McAllester describes in this book, represents a significant change of direction in the field of mechanical deduction, a key area in computer science and artificial intelligence.
Read More
ONTIC, the interactive system for verifying "natural" mathematical arguments that David McAllester describes in this book, represents a significant change of direction in the field of mechanical deduction, a key area in computer science and artificial intelligence.
Read Less
Add this copy of Ontic: a Knowledge Representation System for to cart. $25.00, like new condition, Sold by Abacus Bookshop rated 4.0 out of 5 stars, ships from Pittsford, NY, UNITED STATES, published 1989 by MIT Press.
Add this copy of Ontic: A Knowledge Representation System for to cart. $26.43, good condition, Sold by Hay-on-Wye Booksellers rated 3.0 out of 5 stars, ships from Hereford, UNITED KINGDOM, published 1989 by MIT Press (MA).
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Good. Dust jacket has some creases and wear in places. Generally showing its age. Tear in the bottom left corner. Content has some inscriptions. A decent hardback copy. Sewn binding. Cloth over boards. 158 p. Artificial Intelligence.
Add this copy of Ontic: a Knowledge Representation System for to cart. $34.85, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Newport Coast, CA, UNITED STATES, published 1989 by Mit Pr.
