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, 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. Condition: Fine. 1st. 8vo, 158 pp., Review copy with review slip laid-in. Fine copy in nearly fine dust jacket. Seller Inventory # 073594
Stock Image
ONTIC
Print on DemandSeller: Majestic Books, Hounslow, United Kingdom
Seller rating 4 out of 5 stars
Condition: New. Print on Demand pp. 174. Seller Inventory # 57091115
Buy New
US$ 22.87
US$ 8.87 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 4 available
Stock Image
ONTIC
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. pp. 174. Seller Inventory # 2651420148
Stock Image
ONTIC
Print on DemandSeller: Biblios, Frankfurt am main, HESSE, Germany
Seller rating 4 out of 5 stars
Condition: New. PRINT ON DEMAND pp. 174. Seller Inventory # 1851420158
Buy New
US$ 25.18
US$ 11.62 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 4 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 4 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.64
US$ 34.12 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
Buy Used
US$ 14.06
US$ 30.02 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.38
US$ 35.02 shipping
Ships from Netherlands to U.S.A.
Ships from Netherlands to U.S.A.
Quantity: 1 available