| 人物別名 |
S. N. Artemov
Артемов, С. Н.
Artemov, Sergei N. |
| 生年 |
- |
| 没年 |
- |
| タイトル |
著作者等 |
出版元 |
刊行年月 |
|
Logical foundations of computer science : International Symposium, LFCS 2020, Deerfield Beach, FL, USA, January 4-7, 2020, proceedings
|
Sergei Artemov, Anil Nerode (eds.) |
Springer
|
c2020 |
|
Justification logic : reasoning with reasons
|
Sergei Artemov, Melvin Fitting |
Cambridge University Press
|
2019 |
|
Logical foundations of computer science : International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007 : proceedings
|
Sergei N. Artemov, Anil Nerode (eds.) |
Springer
|
c2007 |
|
Six papers in logic
|
by S.N. Artemov ... [et al.] ; [translation edited by Ben Silver] |
American Mathematical Society
|
c1987 |
この人物を： 
|
件が連想されています
|
