ID:DA0445036X
同姓同名の著者を検索
Yves Bertot, Pierre Castèran ; foreword by Gérard Huet and Christine Paulin-Mohring
Springer , [Amazon] c2010
: pbk
所蔵館1館
Gérard Huet, Amba Kulkarni, Peter Scharf (eds.)
Springer c2009 Lecture notes in computer science 5402 . Lecture notes in artificial intelligence
所蔵館4館
Amba Kulkarni, Gérard Huet (eds.)
Springer c2009 Lecture notes in computer science . Lecture notes in artificial intelligence ; 5406
所蔵館7館
edited by Gérard Huet, Gordon Plotkin
Cambridge University Press 1993
所蔵館17館
edited by Gérard Huet, G. Plotkin
Cambridge Univ. Press 1991
所蔵館14館
edited by Gérard Huet
Addison-Wesley c1990 The UT Year of Programming series
所蔵館32館