Ontic: A Knowledge Representation System for Mathematics (The Mit Press Series in Artificial Intelligence) - Hardcover
Synopsis
McAllestar (computer science, MIT) describes ONTIC, the interactive system for verifying "natural" mathematical arguments, which represents a significant change of direction in the field of mechanical deduction, a key area in computer science and artificial intelligence. Annotation copyright Book News, Inc. Portland, Or.
"synopsis" may belong to another edition of this title.
Search results for Ontic: A Knowledge Representation System for Mathematics...
Stock Image
Ontic : A Knowledge Representation System for Mathematics
Published by
MIT Press, 1989
ISBN 10: 0262132354
ISBN 13: 9780262132350
Used
Hardcover
First Edition
Seller: Better World Books, Mishawaka, IN, U.S.A.
Seller rating 5 out of 5 stars
Condition: Good. First Edition. Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good. Seller Inventory # 5418139-6
Stock Image
Ontic: Knowledge Representation System for Mathematics (The Mit Press Series in Artificial Intelligence) Mcallester
Seller: Hay-on-Wye Booksellers, Hay-on-Wye, HEREF, United Kingdom
Seller rating 5 out of 5 stars
Condition: 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. Seller Inventory # 13413-9
Buy Used
US$ 4.59
US$ 33.74 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 1 available
Stock Image
ONTIC: A Knowledge Representation System for Mathematics.
Seller: Kloof Booksellers & Scientia Verlag, Amsterdam, Netherlands
Seller rating 4 out of 5 stars
Condition: as new. Cambridge, MA: The MIT Press, 1989. Hardcover. Dustjacket. 272 pp.English text. Condition : as new. Condition : as new copy. ISBN 9780262132350. Keywords : , Seller Inventory # 253711
Buy Used
US$ 20.58
US$ 35.37 shipping
Ships from Netherlands to U.S.A.
Ships from Netherlands to U.S.A.
Quantity: 1 available