Hoppa till sidans huvudinnehåll

Lawrence C. Paulson – författare

Visar alla böcker från författaren .
4 produkter
Lawrence C. Paulson, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky - Logic and Computation, Häftad
Del 2 - Cambridge Tracts in Theoretical Computer Science

Logic and Computation

Interactive Proof with Cambridge LCF

AvLawrence C. Paulson,C. J. Van Rijsbergenm. fl.

Häftad, Engelska, 1990

969 kr

Skickas inom 7-10 vardagar

Tobias Nipkow, Lawrence C. Paulson, Markus Wenzel - Isabelle/HOL, Häftad

Isabelle/HOL

A Proof Assistant for Higher-Order Logic

AvTobias Nipkow,Lawrence C. Paulsonm. fl.

Häftad, Engelska, 2002

839 kr

Skickas inom 10-15 vardagar

Lawrence C. Paulson - Isabelle, Häftad

Isabelle

A Generic Theorem Prover

AvLawrence C. Paulson

Häftad, Engelska, 1994

729 kr

Skickas inom 10-15 vardagar

Matt Kaufmann, Lawrence C. Paulson - Interactive Theorem Proving, Häftad

Interactive Theorem Proving

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

AvMatt Kaufmann,Lawrence C. Paulson

Häftad, Engelska, 2010

1 439 kr

Skickas inom 10-15 vardagar