ID:DA07348676
International Symposia on Logical Foundations of Computer Science
Symposium on Logical Foundations of Computer Science
LFCS
同姓同名の著者を検索
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
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館
Sergei Adian, Anil Nerode, (eds.)
Springer-Verlag c1997 Lecture notes in computer science 1234
所蔵館51館
A. Nerode, Yu. V. Matiyasevich (eds.)
Springer-Verlag c1994 Lecture notes in computer science 813
: us , : gw
所蔵館63館
A. Nerode, M. Taitslin (eds.)
Springer-Verlag c1992 Lecture notes in computer science 620
: gw , : us
所蔵館53館
A.R. Meyer, M.A. Taitslin (eds.)
Springer-Verlag c1989 Lecture notes in computer science 363