Formal Methods in Artificial Intelligence (Cambridge Tracts in Theoretical Computer Science, 5) - Hardcover
Inhaltsangabe
This book covers the background of classical logic, including the major meta-theorems, and the state of the art in theorem proving.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Weitere beliebte Ausgaben desselben Titels
Suchergebnisse für Formal Methods in Artificial Intelligence (Cambridge...
Beispielbild für diese ISBN
Formal Methods in Artificial Intelligence (Cambridge Tracts in Theoretical Computer Science, Series Number 6)
Verlag:
Cambridge University Press, 1988
ISBN 10: 0521352363
ISBN 13: 9780521352369
Gebraucht
Hardcover
Anbieter: My Dead Aunt's Books, Hyattsville, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Hardcover. Zustand: Very Good. First ed. with stamp "REVIEW COPY FROM SCIENCE;" 279 p., clean and otherwise unmarked--except for some foxing on back end page; binding tight; glossy boards have minimal ear. Artikel-Nr. 050807
Gebraucht kaufen
EUR 15,05
EUR 4,74 Versand
Versand innerhalb von USA
Versand innerhalb von USA
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Formal Methods in Artificial Intelligence.
Verlag:
Cambridge, Cambridge University Press., 1988
ISBN 10: 0521352363
ISBN 13: 9780521352369
Gebraucht
Hardcover
Anbieter: Universitätsbuchhandlung Herta Hold GmbH, Berlin, Deutschland
Verkäuferbewertung 4 von 5 Sternen
IX, 279 p. Hardcover. Versand aus Deutschland / We dispatch from Germany via Air Mail. Einband bestoßen, daher Mängelexemplar gestempelt, sonst sehr guter Zustand. Imperfect copy due to slightly bumped cover, apart from this in very good condition. Stamped. Sprache: Englisch. Artikel-Nr. 2571EB
Gebraucht kaufen
EUR 11,00
EUR 30,00 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 1 verfügbar