ID:DA00916544
Артемов, С. Н.
Artemov, Sergei N.
Search authors sharing the same name
Sergei Artemov, Anil Nerode (eds.)
Springer c2022 Lecture notes in computer science 13137 . LNCS sublibrary ; SL 1 . Theoretical computer science and general issues
Available at 1 libraries
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
Available at 24 libraries
Springer c2018 Lecture notes in computer science 10703 . LNCS sublibrary ; SL 1 . Theoretical computer science and general issues
Available at 2 libraries
Sergei N. Artemov, Anil Nerode (eds.)
Springer c2007 Lecture notes in computer science 4514
Available at 4 libraries
by S.N. Artemov ... [et al.] ; [translation edited by Ben Silver]
American Mathematical Society c1987 American Mathematical Society translations ser. 2, v. 135
Available at 42 libraries