1
by Paulson, Lawrence C.
Published 1994
Springer Berlin Heidelberg
Subjects: '; ...Computer logic...

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