ID:DA0445036X
Search authors sharing the same name
Yves Bertot, Pierre Castèran ; foreword by Gérard Huet and Christine Paulin-Mohring
Springer , [Amazon] [manufacture] c2010
: pbk
Available at 1 libraries
Gérard Huet, Amba Kulkarni, Peter Scharf (eds.)
Springer c2009 Lecture notes in computer science 5402 . Lecture notes in artificial intelligence
Available at 4 libraries
Amba Kulkarni, Gérard Huet (eds.)
Springer c2009 Lecture notes in computer science . Lecture notes in artificial intelligence ; 5406
Available at 7 libraries
edited by Gérard Huet, Gordon Plotkin
Cambridge University Press 1993
Available at 17 libraries
edited by Gérard Huet, G. Plotkin
Cambridge Univ. Press 1991
Available at 14 libraries
edited by Gérard Huet
Addison-Wesley c1990 The UT Year of Programming series
Available at 32 libraries
