Artemov, S. N.

この人物の情報

人物別名 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
この人物の作品が掲載されている本を検索

作品の一覧

この人物を: 
このエントリーをはてなブックマークに追加

このページを印刷

外部サイトで検索

この人物と繋がる本を検索

ウィキペディアから連想