Akademibokhandeln

Lawrence C. Paulson – författare

Visar alla böcker från författaren Lawrence C. Paulson.

4 produkter

  1. Lawrence C. Paulson, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky - Logic and Computation, Häftad. Tillgänglighet: Lägg i varukorg

    Logic and Computation

    Interactive Proof with Cambridge LCF

    Av Lawrence C. Paulson, C. J. Van Rijsbergen m. fl.

    Häftad, 1990

    1189 kr

    Lägg i varukorg

  2. Tobias Nipkow, Lawrence C. Paulson, Markus Wenzel - Isabelle/HOL, Häftad. Tillgänglighet: Lägg i varukorg

    Isabelle/HOL

    A Proof Assistant for Higher-Order Logic

    Av Tobias Nipkow, Lawrence C. Paulson m. fl.

    Häftad, 2002

    849 kr

    Lägg i varukorg

  3. Lawrence C. Paulson - Isabelle, Häftad. Tillgänglighet: Lägg i varukorg

    Isabelle

    A Generic Theorem Prover

    Av Lawrence C. Paulson

    Häftad, 1994

    729 kr

    Lägg i varukorg

  4. Matt Kaufmann, Lawrence C. Paulson - Interactive Theorem Proving, Häftad. Tillgänglighet: Lägg i varukorg

    Interactive Theorem Proving

    First International Conference, ITP 2010 Edinburgh, UK, July 11-14, 2010, Proceedings

    Av Matt Kaufmann, Lawrence C. Paulson

    Häftad, 2010

    1449 kr

    Lägg i varukorg