Ontic: A Knowledge Representation System for Mathematics (The Mit Press Series in Artificial Intelligence) - Hardcover
Inhaltsangabe
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.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Suchergebnisse für Ontic: A Knowledge Representation System for Mathematics...
Beispielbild für diese ISBN
Ontic: A Knowledge Representation System for Mathematics
Verlag:
MIT Press, Cambridge, 1989
ISBN 10: 0262132354
ISBN 13: 9780262132350
Gebraucht
Hardcover
Erstausgabe
Anbieter: Abacus Bookshop, Pittsford, NY, USA
Verkäuferbewertung 5 von 5 Sternen
hardcover. 1st. 8vo, 158 pp., Review copy with review slip laid-in. Fine copy in nearly fine dust jacket. Artikel-Nr. 073594
Gebraucht kaufen
EUR 21,72
EUR 3,37 Versand
Versand innerhalb von USA
Versand innerhalb von USA
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Ontic : A Knowledge Representation System for Mathematics
Anbieter: Better World Books, Mishawaka, IN, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: Good. First Edition. Former library book; may include library markings. Used book that is in clean, average condition without any missing pages. Artikel-Nr. 5418139-6
Gebraucht kaufen
EUR 25,10
Versand gratis
Versand innerhalb von USA
Versand innerhalb von USA
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
ONTIC: A Knowledge Representation System for Mathematics (Artificial Intelligence)
Anbieter: MB Books, Derbyshire, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Hardcover. Zustand: 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. Artikel-Nr. 943131
Gebraucht kaufen
EUR 11,89
EUR 23,09 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
ONTIC: A Knowledge Representation System for Mathematics.
Anbieter: Kloof Booksellers & Scientia Verlag, Amsterdam, Niederlande
Verkäuferbewertung 4 von 5 Sternen
Zustand: as new. Cambridge, MA: The MIT Press, 1989. Hardcover. Dustjacket. 272 pp.English text. Condition : as new. Condition : as new copy. ISBN 9780262132350. Keywords : , Artikel-Nr. 253711
Gebraucht kaufen
EUR 16,95
EUR 30,00 Versand
Versand von Niederlande nach USA
Versand von Niederlande nach USA
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Ontic: Knowledge Representation System for Mathematics (The Mit Press Series in Artificial Intelligence) Mcallester
Anbieter: Hay-on-Wye Booksellers, Hay-on-Wye, HEREF, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: 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. Artikel-Nr. 13413-9
Gebraucht kaufen
EUR 3,93
EUR 75,05 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: 1 verfügbar