ID:DA12968272
同姓同名の著者を検索
Thierry Coquand ... [et al.] (eds.)
Springer c2000 Lecture notes in computer science 1956
所蔵館40館