Lawrence C. Paulson, Markus Wenzel, Tobias Nipkow

TitelISBN-13
(ISBN-10)
Erscheinungsjahr
Isabelle/HOL: A Proof Assistant for Higher-Order Logic978-3-54O-43376-7
(3-54O-43376-7)
2008

C.M. · C.P. · L. C. · l c m · L.M. · L.P. · Lawrence C. · Lawrence C. Paulson · P.M.

Lawrence C. Perlmuter