1
by Nipkow, Tobias, Klein, Gerwin
Published 2014
Springer International Publishing
Subjects: '; ...Computer logic...

2
by Nipkow, Tobias, Paulson, Lawrence C., Wenzel, Markus
Published 2002
Springer Berlin Heidelberg
Subjects: '; ...Computer logic...