ID:DA01948852
Girard, J.-Y
同姓同名の著者を検索
Jean-Yves Girard
European Mathematical Society c2011
所蔵館7館
Joselyn Benoist, Jean-Yves Girard, Yoshinori Ogawa, Mitsuhiro Okada (editor)
Keio University, Centre for Integrated Research on the Mind 2006 1st ed Series of Centre for Integrated Research on the Mind
所蔵館72館
Jean-Yves Girard (ed.)
Springer-Verlag c1999 Lecture notes in computer science 1581
所蔵館51館
edited by Jean-Yves Girard, Yves Lafont, Laurent Regnier
Cambridge University Press 1995 London Mathematical Society lecture note series 222
: pbk
所蔵館83館
Ernest Nagel ... [et al.] ; traductions de l'anglais et de l'allemand par Jean-Baptiste Scherrer
Éditions du Seuil c1989
所蔵館1館
Jean-Yves Girard ; translated and with appendices by Paul Taylor, Yves Lafont
Cambridge University Press 1989 Cambridge tracts in theoretical computer science 7
所蔵館47館
Bibliopolis c1987- Studies in proof theory : monographs 1
v. 1 : Italy , v. 1
所蔵館50館
Jean Girard
Harmattan c1984 Connaissance des hommes
Nicolas Bouleau, Jean-Yves Girard, Alain Louveau
Presses de l'Ecole nationale des Ponts et chausse'es c1983
