Interactive Theorem Proving

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

AvLawrence C. Paulson,Matt Kaufmann

E-bok
PDF, Engelska, 2010

1 459 kr

Läs direkt i Bokus Reader – eller ladda ned till din enhet (PDF kräver ofta zoom och scroll på små skärmar).

Produktinformation

Utforska kategorier

Hoppa över listan

Du kanske också är intresserad av

Markus Wenzel, Lawrence C. Paulson, Tobias Nipkow - Isabelle/HOL, E-bok

Isabelle/HOL

Markus Wenzel, Lawrence C. Paulson, Tobias Nipkow

E-bok
2003

764 kr

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

Isabelle/HOL

Tobias Nipkow, Lawrence C. Paulson, Markus Wenzel

Häftad, 2002

649 kr

Lawrence C. Paulson - Isabelle, Häftad

Isabelle

Lawrence C. Paulson

Häftad, 1994

558 kr

Lawrence C. Paulson, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky - Logic and Computation, Häftad
Del 2

Logic and Computation

Lawrence C. Paulson, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky

Häftad, 1990

747 kr

Flora Wiström - Stortaxi, Inbunden
  • -19%

Stortaxi

Flora Wiström

Inbunden, 2026

209 kr259 kr