5 treff

Isabelle/HOL : a proof assistant for higher-order logic
Tobias Nipkow, Lawrence C. Paulson, Marku...
Bok Engelsk 2002
ML for the working programmer
Lawrence C. Paulson
Bok Engelsk 1996
Isabelle : a generic theorem prover
Lawrence C. Paulson ; with contributions ...
Bok Engelsk 1994
ML for the working programmer
Paulson, Lawrence C.
Bok Engelsk 1991
Logic and computation : interactive proof with Cambridge LCF
Lawrence C. Paulson
Bok Språk ikke angitt 1987