Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Sergei_N._Artemov> ?p ?o. }
Showing items 1 to 66 of
66
with 100 items per page.
- Sergei_N._Artemov abstract "Sergei Nikolaevich Artemov (Russian: Сергей Николаевич Артемов) (born December 25, 1951) is a Russian-American researcher in logic and its applications. He currently holds the title of Distinguished Professor at the Graduate Center of the City University of New York where he is the founder and head of its research laboratory for logic and computation. His research interests include proof theory and logic in computer science, optimal control and hybrid systems, automated deduction and verification, epistemology, and epistemic game theory. He is best known for his invention of logics of proofs and justifications.".
- Sergei_N._Artemov almaMater Moscow_State_University.
- Sergei_N._Artemov almaMater Steklov_Institute_of_Mathematics.
- Sergei_N._Artemov birthDate "1951-12-25".
- Sergei_N._Artemov birthPlace Soviet_Union.
- Sergei_N._Artemov birthPlace Uralsk.
- Sergei_N._Artemov doctoralAdvisor Andrey_Kolmogorov.
- Sergei_N._Artemov field Computer_science.
- Sergei_N._Artemov field Mathematics.
- Sergei_N._Artemov field Philosophy.
- Sergei_N._Artemov wikiPageExternalLink id.php?id=83475.
- Sergei_N._Artemov wikiPageExternalLink ~sartemov.
- Sergei_N._Artemov wikiPageExternalLink publ.html).
- Sergei_N._Artemov wikiPageExternalLink Art01BSL,.
- Sergei_N._Artemov wikiPageExternalLink Art06TCS).
- Sergei_N._Artemov wikiPageExternalLink Art08RSL).
- Sergei_N._Artemov wikiPageExternalLink ArtNog05JLC).
- Sergei_N._Artemov wikiPageID "33935459".
- Sergei_N._Artemov wikiPageRevisionID "601851804".
- Sergei_N._Artemov almaMater "D.Sc. 1988 Steklov Mathematical Institute".
- Sergei_N._Artemov almaMater "Ph.D 1980 Moscow University,".
- Sergei_N._Artemov birthDate "1951-12-25".
- Sergei_N._Artemov birthPlace Soviet_Union.
- Sergei_N._Artemov birthPlace Uralsk.
- Sergei_N._Artemov dateOfBirth ",".
- Sergei_N._Artemov doctoralAdvisor Andrey_Kolmogorov.
- Sergei_N._Artemov field Computer_science.
- Sergei_N._Artemov field Mathematics.
- Sergei_N._Artemov field Philosophy.
- Sergei_N._Artemov name "Artemov, Sergei N.".
- Sergei_N._Artemov name "Sergei Nikolaevich Artemov".
- Sergei_N._Artemov placeOfBirth Soviet_Union.
- Sergei_N._Artemov placeOfBirth Uralsk.
- Sergei_N._Artemov shortDescription "Russian-American academic".
- Sergei_N._Artemov workInstitution Cornell_University.
- Sergei_N._Artemov workInstitution Moscow_State_University.
- Sergei_N._Artemov workInstitution Steklov_Institute_of_Mathematics.
- Sergei_N._Artemov workInstitution The_Graduate_Center,_CUNY.
- Sergei_N._Artemov description "Russian-American academic".
- Sergei_N._Artemov description "Russian-American academic".
- Sergei_N._Artemov subject Category:1951_births.
- Sergei_N._Artemov subject Category:Living_people.
- Sergei_N._Artemov type Agent.
- Sergei_N._Artemov type Person.
- Sergei_N._Artemov type Scientist.
- Sergei_N._Artemov type Person.
- Sergei_N._Artemov type Q215627.
- Sergei_N._Artemov type Q5.
- Sergei_N._Artemov type Agent.
- Sergei_N._Artemov type NaturalPerson.
- Sergei_N._Artemov type Thing.
- Sergei_N._Artemov type Person.
- Sergei_N._Artemov comment "Sergei Nikolaevich Artemov (Russian: Сергей Николаевич Артемов) (born December 25, 1951) is a Russian-American researcher in logic and its applications. He currently holds the title of Distinguished Professor at the Graduate Center of the City University of New York where he is the founder and head of its research laboratory for logic and computation.".
- Sergei_N._Artemov label "Sergei Artemov".
- Sergei_N._Artemov label "Sergei N. Artemov".
- Sergei_N._Artemov sameAs Sergei_Artemov.
- Sergei_N._Artemov sameAs m.0xn9yxs.
- Sergei_N._Artemov sameAs Q16062135.
- Sergei_N._Artemov sameAs Q16062135.
- Sergei_N._Artemov wasDerivedFrom Sergei_N._Artemov?oldid=601851804.
- Sergei_N._Artemov givenName "Sergei N.".
- Sergei_N._Artemov isPrimaryTopicOf Sergei_N._Artemov.
- Sergei_N._Artemov name "Artemov, Sergei N.".
- Sergei_N._Artemov name "Sergei N. Artemov".
- Sergei_N._Artemov name "Sergei Nikolaevich Artemov (Russian: Сергей Николаевич Артемов)".
- Sergei_N._Artemov surname "Artemov".