Introduction Hol Theorem Proving Environment (1 results)

Title: 
Refine with Advanced Search

Refine your search

  • Books (1)

Learn more

to

Custom price range (US$)

to

    • Language: English

      Published by Cambridge, Cambridge University Press, 1993

      0521441897 / 9780521441896

      • Softcover

      Seller: Antiquariat Bookfarm, Löbnitz, GermanyAntiquariat Bookfarm

      5-star seller
      Contact seller

      Condition: Used - Very good

      US$ 138.71

      US$ 46.11 shipping 
      Ships from Germany to U.S.A.

      Quantity: 1 available

      Softcover. Condition: Gut. 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: Engli…