bn:14433150n
Noun Named Entity
AR
No term available
EN
Sergei Nikolaevich Artemov is a Russian-American researcher in logic and its applications. Wikipedia
Relations
Sources