Bücher nach ISBN > Springer > Markus Wenzel

Markus Wenzel

M W · M. Wenzel

TitelISBN-13
(ISBN-10)		Erschei-
nungsjahr		andere Autoren
Isabelle/HOL: A Proof Assistant for Higher-Order Logic978-3-54O-43376-7
(3-54O-43376-7)		2002Tobias Nipkow · Lawrence C. Paulson

Markus Werner