Items related to Ontic: Knowledge Representation System for Mathematics...
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. 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
£ 17.27
£ 6.50 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
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
£ 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
£ 14.96
£ 25.70 shipping
Ships from Netherlands to U.S.A.
Ships from Netherlands to U.S.A.
Quantity: 1 available