Items related to Ontic: A Knowledge Representation System for Mathematics...
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 book; may include library markings. Used book that is in clean, average condition without any missing pages. Seller Inventory # 5418139-6
Quantity: 1 available
Stock Image
Ontic: A Knowledge Representation System for Mathematics
Seller: Ammareal, Morangis, France
Seller rating 5 out of 5 stars
Hardcover. Condition: Très bon. Ancien livre de bibliothèque. Légères traces d'usure sur la couverture. Couverture légèrement déchirée. Salissures sur la tranche. Couverture différente. Edition 1989. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Slight signs of wear on the cover. Slightly torn cover. Stains on the edge. Different cover. Edition 1989. Ammareal gives back up to 15% of this item's net price to charity organizations. Seller Inventory # E-573-876
Quantity: 1 available
Stock Image
Ontic: A Knowledge Representation System for Mathematics
Published by
MIT Press, Cambridge, 1989
ISBN 10: 0262132354
ISBN 13: 9780262132350
Used
Hardcover
First Edition
Seller: Abacus Bookshop, Pittsford, NY, U.S.A.
Seller rating 5 out of 5 stars
hardcover. 1st. 8vo, 158 pp., Review copy with review slip laid-in. Fine copy in nearly fine dust jacket. Seller Inventory # 073594
Quantity: 1 available
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
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
Quantity: 1 available
Stock Image
ONTIC: A Knowledge Representation System for Mathematics (Artificial Intelligence)
Seller: MB Books, Derbyshire, United Kingdom
Seller rating 5 out of 5 stars
Hardcover. Condition: Good. No Jacket. Condition : Good. Former university library copy with associated markings. Hard cover, no jacket.158pp. No annotations or highlighting to text. Photo on request. Seller Inventory # 943131
Quantity: 1 available