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 408 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

652 kr

Lawrence C. Paulson - Isabelle, Häftad

Isabelle

Lawrence C. Paulson

Häftad, 1994

561 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

721 kr