Ontic: 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.
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.
"About this title" may belong to another edition of this title.
Search results for Ontic: Knowledge Representation System for Mathematics...
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
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
£ 3.30
£ 25 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 (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
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
£ 15.18
£ 26.09 shipping
Ships from Netherlands to U.S.A.
Ships from Netherlands to U.S.A.
Quantity: 1 available