Hoppa till sidans huvudinnehåll

Lawrence C. Paulson – författare

Visar alla böcker från författaren Lawrence C. Paulson.
4 produkter
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

939 kr

Skickas inom 7-10 vardagar

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

Isabelle

A Generic Theorem Prover

AvLawrence C. Paulson

Häftad, Engelska, 1994

719 kr

Skickas inom 10-15 vardagar

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