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, 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. Condizione: Fine. 1st. 8vo, 158 pp., Review copy with review slip laid-in. Fine copy in nearly fine dust jacket. Codice articolo 073594
Compra usato
EUR 22,15
Spedizione EUR 3,44
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 1 disponibili
Foto dell'editore
ONTIC
Print on DemandDa: Majestic Books, Hounslow, Regno Unito
Valutazione del venditore 4 su 5 stelle
Condizione: New. Print on Demand pp. 174. Codice articolo 57091115
Compra nuovo
EUR 19,95
Spedizione EUR 7,57
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 4 disponibili
Foto dell'editore
ONTIC
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. 174. Codice articolo 2651420148
Compra nuovo
EUR 25,13
Spedizione EUR 3,43
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 4 disponibili
Foto dell'editore
ONTIC
Print on DemandDa: Biblios, Frankfurt am main, HESSE, Germania
Valutazione del venditore 4 su 5 stelle
Condizione: New. PRINT ON DEMAND pp. 174. Codice articolo 1851420158
Compra nuovo
EUR 20,49
Spedizione EUR 9,95
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 4 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 4 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
Compra usato
EUR 3,96
Spedizione EUR 29,12
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
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
Compra usato
EUR 12,00
Spedizione EUR 25,62
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
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
Compra usato
EUR 16,95
Spedizione EUR 30,00
Spedito da Paesi Bassi a U.S.A.
Spedito da Paesi Bassi a U.S.A.
Quantità: 1 disponibili