Inhaltsangabe
An introduction to the HOL theorem-proving system.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Suchergebnisse für Introduction to Hol: A Theorem Proving Environment...
Foto des Verkäufers
Introduction to HOL a theorem proving environment for higher order logic ed.
Verlag:
Cambridge, Cambridge University Press, 1993
ISBN 10: 0521441897
ISBN 13: 9780521441896
Gebraucht
Softcover
Anbieter: Antiquariat Bookfarm, Löbnitz, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Softcover. Ex-library with stamp and library-signature. GOOD condition, some traces of use. Ancien Exemplaire de bibliothèque avec signature et cachet. BON état, quelques traces d'usure. Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. C 690 9780521441896 Sprache: Englisch Gewicht in Gramm: 550. Bestandsnummer des Verkäufers 2498282
Gebraucht kaufen
EUR 116,82
EUR 40,00 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 1 verfügbar