ID:DA04159790
Mint︠s︡, G
Mints, Grigori
同姓同名の著者を検索
edited by Grigori Mints, Reinhard Muskens
CSLI Publications c2003 CSLI lecture notes no. 161
: pbk
所蔵館21館
Grigori Mints
Springer Science+Business Media 2000 The University series in mathematics
: softcover
所蔵館2館
Kluwer Academic / Plenum Publishers c2000 The University series in mathematics
所蔵館25館
V. Kreinovich, G. Mints, editors
American Mathematical Society c1997 American Mathematical Society translations ser. 2, v. 178
所蔵館51館
Center for the Study of Language and Information (CSLI) c1994 Report (Center for the Study of Language and Information (U.S.)) no. CSLI-94-193
Grigori Mints and Sergei Tupailo
Center for the Study of Language and Information (CSLI) c1993 Report (Center for the Study of Language and Information (U.S.)) no. CSLI-93-175
Grigorii E. Mints
Bibliopolis , North-Holland c1992 Studies in proof theory monographs 3
所蔵館18館
Center for the Study of Language and Information, Leland Stanford Junior University c1992 CSLI lecture notes no. 30
所蔵館53館
P. Martin-Löf, G. Mints (eds.)
Springer-Verlag c1990 Lecture notes in computer science 417
: gw , : us
所蔵館60館
