ID:DA00916544
Артемов, С. Н.
Artemov, Sergei N.
同姓同名の著者を検索
Sergei Artemov, Anil Nerode (eds.)
Springer c2022 Lecture notes in computer science 13137 . LNCS sublibrary ; SL 1 . Theoretical computer science and general issues
所蔵館1館
Springer c2020 Lecture notes in computer science 11972 . LNCS sublibrary ; SL 1 . Theoretical computer science and general issues
Sergei Artemov, Melvin Fitting
Cambridge University Press 2019 Cambridge tracts in mathematics 216
: hardback
所蔵館24館
Springer c2018 Lecture notes in computer science 10703 . LNCS sublibrary ; SL 1 . Theoretical computer science and general issues
所蔵館2館
Sergei N. Artemov, Anil Nerode (eds.)
Springer c2007 Lecture notes in computer science 4514
所蔵館4館
by S.N. Artemov ... [et al.] ; [translation edited by Ben Silver]
American Mathematical Society c1987 American Mathematical Society translations ser. 2, v. 135
所蔵館42館