ID:DA01635722
Paulson, L. C
Paulson, Laurence C
同姓同名の著者を検索
Matt Kaufmann, Lawrence C. Poulson (eds.)
Springer c2010 Lecture notes in computer science 6172
: pbk
所蔵館1館
Tobias Nipkow, Lawrence C. Paulson, Markus Wenzel
Springer c2002 Lecture notes in computer science 2283
所蔵館33館
Lawrence C. Paulson
Cambridge University Press 1997, c1991, 1996 2nd ed, repr. with corrections 1997
Cambridge University Press 1996 2nd ed
: hardback , : pbk.
所蔵館39館
Lawrence C. Paulson ; with contributions by Tobias Nipkow
Springer-Verlag c1994 Lecture notes in computer science 828
: gw , : us
所蔵館55館
Cambridge University Press 1992
所蔵館15館
Laurence C. Paulson
Cambridge University Press 1991
所蔵館19館
Cambridge University Press 1990, c1987 Cambridge tracts in theoretical computer science 2
Cambridge University Press c1987 Cambridge tracts in theoretical computer science 2
所蔵館38館
by Lawrence Paulson
University Microfilms International 1981