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

 
9780262132350: Ontic: A Knowledge Representation System for Mathematics (The Mit Press Series in Artificial Intelligence)

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.

Buy Used

Condition: Good
Former library book; may include...
View this item

FREE shipping within U.S.A.

Destination, rates & speeds

Search results for Ontic: A Knowledge Representation System for Mathematics...

Stock Image

McAllester, David A.
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 5-star rating, Learn more about seller ratings

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

Contact seller

Buy Used

US$ 13.99
Convert currency
Shipping: FREE
Within U.S.A.
Destination, rates & speeds

Quantity: 1 available

Add to basket

Stock Image

David A. McAllister
Published by MIT Press, 1989
ISBN 10: 0262132354 ISBN 13: 9780262132350
Used Hardcover

Seller: Ammareal, Morangis, France

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

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

Contact seller

Buy Used

US$ 4.95
Convert currency
Shipping: US$ 9.71
From France to U.S.A.
Destination, rates & speeds

Quantity: 1 available

Add to basket

Stock Image

McAllester, David A.
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 5-star rating, Learn more about seller ratings

hardcover. 1st. 8vo, 158 pp., Review copy with review slip laid-in. Fine copy in nearly fine dust jacket. Seller Inventory # 073594

Contact seller

Buy Used

US$ 25.00
Convert currency
Shipping: US$ 4.00
Within U.S.A.
Destination, rates & speeds

Quantity: 1 available

Add to basket

Stock Image

McAllester, David A.
Published by Mit Pr, 1989
ISBN 10: 0262132354 ISBN 13: 9780262132350
Used Hardcover

Seller: Hay-on-Wye Booksellers, Hay-on-Wye, HEREF, United Kingdom

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

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

Contact seller

Buy Used

US$ 4.49
Convert currency
Shipping: US$ 26.42
From United Kingdom to U.S.A.
Destination, rates & speeds

Quantity: 1 available

Add to basket

Stock Image

McAllester, David A.
Published by Mit Pr, 1989
ISBN 10: 0262132354 ISBN 13: 9780262132350
Used Hardcover

Seller: Kloof Booksellers & Scientia Verlag, Amsterdam, Netherlands

Seller rating 4 out of 5 stars 4-star rating, Learn more about seller ratings

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

Contact seller

Buy Used

US$ 19.94
Convert currency
Shipping: US$ 13.71
From Netherlands to U.S.A.
Destination, rates & speeds

Quantity: 1 available

Add to basket

Stock Image

McAllester, David A.
Published by The MIT Press, 1989
ISBN 10: 0262132354 ISBN 13: 9780262132350
Used Hardcover

Seller: MB Books, Derbyshire, United Kingdom

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

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

Contact seller

Buy Used

US$ 13.60
Convert currency
Shipping: US$ 26.42
From United Kingdom to U.S.A.
Destination, rates & speeds

Quantity: 1 available

Add to basket