ID:DA04471654
Smith, Jan
同姓同名の著者を検索
edited by Giovanni Sambin and Jan M. Smith
Clarendon Press , Oxford University Press 1998 Oxford logic guides 36
所蔵館17館
Peter Dybjer, Bengt Nordström, Jan Smith (eds.)
Springer-Verlag c1995 Lecture notes in computer science 996
: gw
所蔵館61館
Bengt Nordström, Kent Petersson, Jan M. Smith
[Produced by Amazon] 1990
: pbk
所蔵館1館
Bengt Nordström, Kent Petersson and Jan M. Smith
Clarendon Press , Oxford University Press 1990 The International series of monographs on computer science 7
所蔵館28館