ID:DA04471654
Smith, Jan
Search authors sharing the same name
edited by Giovanni Sambin and Jan M. Smith
Clarendon Press , Oxford University Press 1998 Oxford logic guides 36
Available at 17 libraries
Peter Dybjer, Bengt Nordström, Jan Smith (eds.)
Springer-Verlag c1995 Lecture notes in computer science 996
: gw
Available at 61 libraries
Bengt Nordström, Kent Petersson, Jan M. Smith
[Produced by Amazon] 1990
: pbk
Available at 1 libraries
Bengt Nordström, Kent Petersson and Jan M. Smith
Clarendon Press , Oxford University Press 1990 The International series of monographs on computer science 7
Available at 28 libraries