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

650 kr

Lawrence C. Paulson - Isabelle, Häftad

Isabelle

Lawrence C. Paulson

Häftad, 1994

559 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