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. Bestandsnummer des Verkäufers 073594
Gebraucht kaufen
EUR 21,82
EUR 3,39 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 copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good. Bestandsnummer des Verkäufers 5418139-6
Gebraucht kaufen
EUR 25,22
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. Bestandsnummer des Verkäufers 943131
Gebraucht kaufen
EUR 11,91
EUR 23,12 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 : , Bestandsnummer des Verkäufers 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. Bestandsnummer des Verkäufers 13413-9
Gebraucht kaufen
EUR 3,93
EUR 75,15 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: 1 verfügbar