Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Sergei_N._Artemov> ?p ?o }
- 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 USSR.
- Sergei_N._Artemov birthPlace Uralsk.
- Sergei_N._Artemov birthYear "1951".
- 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 wikiPageLength "8551".
- Sergei_N._Artemov wikiPageOutDegree "35".
- Sergei_N._Artemov wikiPageRevisionID "658115140".
- Sergei_N._Artemov wikiPageWikiLink Andrei_Nikolaevich_Kolmogorov.
- Sergei_N._Artemov wikiPageWikiLink Andrei_Nikolayevich_Kolmogorov.
- Sergei_N._Artemov wikiPageWikiLink Andrey_Kolmogorov.
- Sergei_N._Artemov wikiPageWikiLink Brouwer–Heyting–Kolmogorov_interpretation.
- Sergei_N._Artemov wikiPageWikiLink CUNY_Graduate_Center.
- Sergei_N._Artemov wikiPageWikiLink Category:1951_births.
- Sergei_N._Artemov wikiPageWikiLink Category:American_mathematicians.
- Sergei_N._Artemov wikiPageWikiLink Category:American_people_of_Russian_descent.
- Sergei_N._Artemov wikiPageWikiLink Category:CUNY_Graduate_Center_faculty.
- Sergei_N._Artemov wikiPageWikiLink Category:Living_people.
- Sergei_N._Artemov wikiPageWikiLink Category:Moscow_State_University_alumni.
- Sergei_N._Artemov wikiPageWikiLink Category:Russian_mathematicians.
- Sergei_N._Artemov wikiPageWikiLink City_University_of_New_York.
- Sergei_N._Artemov wikiPageWikiLink City_University_of_New_York,_Graduate_Center.
- Sergei_N._Artemov wikiPageWikiLink Computer_Science.
- Sergei_N._Artemov wikiPageWikiLink Computer_science.
- Sergei_N._Artemov wikiPageWikiLink Cornell_University.
- Sergei_N._Artemov wikiPageWikiLink Doctor_of_Philosophy.
- Sergei_N._Artemov wikiPageWikiLink Doctor_of_Sciences.
- Sergei_N._Artemov wikiPageWikiLink Doktor_nauk.
- Sergei_N._Artemov wikiPageWikiLink Graduate_Center,_CUNY.
- Sergei_N._Artemov wikiPageWikiLink Intuitionistic_logic.
- Sergei_N._Artemov wikiPageWikiLink Mathematics.
- Sergei_N._Artemov wikiPageWikiLink Moscow_State_University.
- Sergei_N._Artemov wikiPageWikiLink Moscow_University.
- Sergei_N._Artemov wikiPageWikiLink Oral,_Kazakhstan.
- Sergei_N._Artemov wikiPageWikiLink Ph.D..
- Sergei_N._Artemov wikiPageWikiLink Philosophy.
- Sergei_N._Artemov wikiPageWikiLink PostScript.
- Sergei_N._Artemov wikiPageWikiLink Russian_language.
- Sergei_N._Artemov wikiPageWikiLink Soviet_Union.
- Sergei_N._Artemov wikiPageWikiLink Steklov_Institute_of_Mathematics.
- Sergei_N._Artemov wikiPageWikiLink Steklov_Mathematical_Institute.
- Sergei_N._Artemov wikiPageWikiLink USSR.
- Sergei_N._Artemov wikiPageWikiLink Uralsk.
- Sergei_N._Artemov wikiPageWikiLinkText "Artemov, Sergei N.".
- Sergei_N._Artemov wikiPageWikiLinkText "S. Artemov".
- Sergei_N._Artemov wikiPageWikiLinkText "Sergei N. Artemov".
- 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 USSR.
- Sergei_N._Artemov birthPlace Uralsk.
- Sergei_N._Artemov dateOfBirth "1951-12-25".
- Sergei_N._Artemov doctoralAdvisor Andrei_Nikolayevich_Kolmogorov.
- Sergei_N._Artemov doctoralAdvisor Andrey_Kolmogorov.
- Sergei_N._Artemov field Computer_Science.
- Sergei_N._Artemov field Computer_science.
- Sergei_N._Artemov field Mathematics.
- Sergei_N._Artemov field Philosophy.
- Sergei_N._Artemov hasPhotoCollection Sergei_N._Artemov.
- Sergei_N._Artemov name "Artemov, Sergei N.".
- Sergei_N._Artemov name "Sergei Nikolaevich Artemov".
- Sergei_N._Artemov placeOfBirth Soviet_Union.
- Sergei_N._Artemov placeOfBirth USSR.
- Sergei_N._Artemov placeOfBirth Uralsk.
- Sergei_N._Artemov shortDescription "Russian-American academic".
- Sergei_N._Artemov wikiPageUsesTemplate Template:Infobox_scientist.
- Sergei_N._Artemov wikiPageUsesTemplate Template:Persondata.
- Sergei_N._Artemov wikiPageUsesTemplate Template:Reflist.
- Sergei_N._Artemov workInstitution City_University_of_New_York,_Graduate_Center.
- Sergei_N._Artemov workInstitution Cornell_University.
- Sergei_N._Artemov workInstitution Graduate_Center,_CUNY.
- Sergei_N._Artemov workInstitution Moscow_State_University.
- Sergei_N._Artemov workInstitution Moscow_University.
- Sergei_N._Artemov workInstitution Steklov_Institute_of_Mathematics.
- Sergei_N._Artemov workInstitution Steklov_Mathematical_Institute.
- 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:American_mathematicians.
- Sergei_N._Artemov subject Category:American_people_of_Russian_descent.
- Sergei_N._Artemov subject Category:CUNY_Graduate_Center_faculty.
- Sergei_N._Artemov subject Category:Living_people.
- Sergei_N._Artemov subject Category:Moscow_State_University_alumni.
- Sergei_N._Artemov subject Category:Russian_mathematicians.