Articoli correlati a Ontic: A Knowledge Representation System for Mathematics
Sinossi
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.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Product Description
Book by McAllester David A
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Risultati della ricerca per Ontic: A Knowledge Representation System for Mathematics
Foto dell'editore
Ontic : A Knowledge Representation System for Mathematics
Editore:
MIT Press, 1989
ISBN 10: 0262132354
ISBN 13: 9780262132350
Antico o usato
Rilegato
Prima edizione
Da: Better World Books, Mishawaka, IN, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: Good. First Edition. Former library book; may include library markings. Used book that is in clean, average condition without any missing pages. Codice articolo 5418139-6
Quantità: 1 disponibili
Foto dell'editore
Ontic: A Knowledge Representation System for Mathematics
Editore:
MIT Press, Cambridge, 1989
ISBN 10: 0262132354
ISBN 13: 9780262132350
Antico o usato
Rilegato
Prima edizione
Da: Abacus Bookshop, Pittsford, NY, U.S.A.
Valutazione del venditore 5 su 5 stelle
hardcover. 1st. 8vo, 158 pp., Review copy with review slip laid-in. Fine copy in nearly fine dust jacket. Codice articolo 073594
Quantità: 1 disponibili
Foto dell'editore
Ontic: A Knowledge Representation System for Mathematics
Da: Ammareal, Morangis, Francia
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: 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. Codice articolo E-573-876
Quantità: 1 disponibili
Foto dell'editore
ONTIC: A Knowledge Representation System for Mathematics (Artificial Intelligence)
Da: MB Books, Derbyshire, Regno Unito
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: 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. Codice articolo 943131
Quantità: 1 disponibili
Foto dell'editore
ONTIC: A Knowledge Representation System for Mathematics.
Da: Kloof Booksellers & Scientia Verlag, Amsterdam, Paesi Bassi
Valutazione del venditore 4 su 5 stelle
Condizione: as new. Cambridge, MA: The MIT Press, 1989. Hardcover. Dustjacket. 272 pp.English text. Condition : as new. Condition : as new copy. ISBN 9780262132350. Keywords : , Codice articolo 253711
Quantità: 1 disponibili
Foto dell'editore
Ontic: Knowledge Representation System for Mathematics (The Mit Press Series in Artificial Intelligence) Mcallester
Da: Hay-on-Wye Booksellers, Hay-on-Wye, HEREF, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: 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. Codice articolo 13413-9
Quantità: 1 disponibili