Artemov, S. N.
Artemov, Sergei, 1951-....
Artemov, Sergej N. 1951-
Artemov, Sergei.
Сергей Николаевич Артёмов Российско-американский математик
Artemov, S.N. (Sergei N.)
Artemov, Sergei N. 1951-
Артемов, С. Н. д-р физ.-мат. наук 1951- Сергей Николаевич
VIAF ID: 43022227 ( Personal )
Permalink: http://viaf.org/viaf/43022227
Preferred Forms
- 100 1 _ ‡a Artemov, S. N
- 100 1 _ ‡a Artemov, S. N.
-
-
-
-
- 100 1 _ ‡a Artemov, S. N.
- 100 1 _ ‡a Artemov, S. N.
-
- 100 1 _ ‡a Artemov, Sergei N. ‡d 1951-
-
- 100 1 _ ‡a Artemov, Sergei, ‡d 1951-....
-
- 100 1 _ ‡a Artemov, Sergej N. ‡d 1951-
-
- 100 0 _ ‡a Сергей Николаевич Артёмов ‡c Российско-американский математик
4xx's: Alternate Name Forms (23)
5xx's: Related Names (2)
- 510 2 _ ‡a Graduate School and University Center ‡4 affi ‡4 https://d-nb.info/standards/elementset/gnd#affiliation ‡e Affiliation
- 510 2 _ ‡a Moskovskij universitet ‡4 affi ‡4 https://d-nb.info/standards/elementset/gnd#affiliation ‡e Affiliation
Works
Title | Sources |
---|---|
Justification logic reasoning with reasons | |
LFCS 2013. | |
Logic of proofs with complexity operators | |
Logical foundations of computer science, c2007: | |
Papers presented at the the workshop on logic, language, information and computation (WoLLIC'2002) | |
Provability logic | |
Six papers in logic, c1987: | |
Studies in logic |