| Birthplace
|
http://dbpedia.org/resource/Oral%2C_Kazakhstan +
, http://dbpedia.org/resource/USSR +
|
| http://dbpedia.org/ontology/abstract
|
Sergei Nikolaevich Artemov (Russian: Серге … 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.on of logics of proofs and justifications.
, Сергей Николаевич Артёмов (род. 1951) — со … Сергей Николаевич Артёмов (род. 1951) — советский учёный, доктор физико-математических наук, профессор. Учёный в области математической логики и её приложений. В настоящее время — профессор Центра аспирантуры Городского университета Нью-Йорка, где является основателем и руководителем исследовательской лаборатории логики и вычислений. Автор многих работ.и логики и вычислений. Автор многих работ.
, Sergei Nikolaevich Artemov (em russo: Сергей Николаевич Артемов; Uralsk, 25 de dezembro de 1951) é um lógico matemático russo-estadunidense.
|
| http://dbpedia.org/ontology/academicDiscipline
|
http://dbpedia.org/resource/Mathematics +
, http://dbpedia.org/resource/Computer_Science +
, http://dbpedia.org/resource/Philosophy +
|
| http://dbpedia.org/ontology/almaMater
|
http://dbpedia.org/resource/Moscow_University +
, http://dbpedia.org/resource/Steklov_Mathematical_Institute +
|
| http://dbpedia.org/ontology/birthDate
|
"1951-12-25"^^xsd:date
|
| http://dbpedia.org/ontology/doctoralAdvisor
|
http://dbpedia.org/resource/Andrei_Nikolayevich_Kolmogorov +
|
| http://dbpedia.org/ontology/thumbnail
|
http://commons.wikimedia.org/wiki/Special:FilePath/Artemov_Sergei.jpg?width=300 +
|
| http://dbpedia.org/ontology/wikiPageExternalLink
|
http://www.ams.org/distribution/mmj/vol1-4-2001/artemov.html +
, http://web.cs.gc.cuny.edu/~sartemov +
, http://plato.stanford.edu/archives/fall2011/entries/logic-justification/ +
, http://www.cs.cornell.edu/Info/People/artemov/publ.html +
, http://ac.els-cdn.com/S0168007213001012/1-s2.0-S0168007213001012-main.pdf%3F_tid=bc0aec24-c22e-11e5-802f-00000aacb361&acdnat=1453594348_217607bdb05653d6d0505e826e99713e +
, http://www.iam.unibe.ch/~kuznets/JLBibliography_abstracts.html%23Art01BSL +
, http://genealogy.math.ndsu.nodak.edu/id.php%3Fid=83475 +
, http://www.iam.unibe.ch/~kuznets/JLBibliography_abstracts.html%23Art06TCS +
, http://www.iam.unibe.ch/~kuznets/JLBibliography_abstracts.html%23Art08RSL +
, http://www.iam.unibe.ch/~kuznets/JLBibliography_abstracts.html%23ArtNog05JLC +
|
| http://dbpedia.org/ontology/wikiPageID
|
33935459
|
| http://dbpedia.org/ontology/wikiPageLength
|
10626
|
| http://dbpedia.org/ontology/wikiPageRevisionID
|
1105677317
|
| http://dbpedia.org/ontology/wikiPageWikiLink
|
http://dbpedia.org/resource/City_University_of_New_York%2C_Graduate_Center +
, http://dbpedia.org/resource/Category:20th-century_American_mathematicians +
, http://dbpedia.org/resource/Category:1951_births +
, http://dbpedia.org/resource/Oral%2C_Kazakhstan +
, http://dbpedia.org/resource/Category:21st-century_American_mathematicians +
, http://dbpedia.org/resource/Stanford_University +
, http://dbpedia.org/resource/USSR +
, http://dbpedia.org/resource/Optimal_control +
, http://dbpedia.org/resource/Epistemology +
, http://dbpedia.org/resource/Cornell +
, http://dbpedia.org/resource/Andrei_Nikolaevich_Kolmogorov +
, http://dbpedia.org/resource/CUNY_Graduate_Center +
, http://dbpedia.org/resource/Brouwer%E2%80%93Heyting%E2%80%93Kolmogorov_interpretation +
, http://dbpedia.org/resource/Andrei_Nikolayevich_Kolmogorov +
, http://dbpedia.org/resource/University_of_Siena +
, http://dbpedia.org/resource/Plato +
, http://dbpedia.org/resource/Category:Moscow_State_University_alumni +
, http://dbpedia.org/resource/Moscow_University +
, http://dbpedia.org/resource/Category:Living_people +
, http://dbpedia.org/resource/Category:Soviet_mathematicians +
, http://dbpedia.org/resource/Computer_Science +
, http://dbpedia.org/resource/Epistemic_logic +
, http://dbpedia.org/resource/European_Association_for_Logic%2C_Language_and_Information +
, http://dbpedia.org/resource/Philosophy +
, http://dbpedia.org/resource/First-order_logic +
, http://dbpedia.org/resource/University_of_Bern +
, http://dbpedia.org/resource/Ph.D. +
, http://dbpedia.org/resource/Uralsk +
, http://dbpedia.org/resource/Logic +
, http://dbpedia.org/resource/Automated_deduction +
, http://dbpedia.org/resource/Proof_theory +
, http://dbpedia.org/resource/Cornell_University +
, http://dbpedia.org/resource/Intuitionistic_logic +
, http://dbpedia.org/resource/University_of_Amsterdam +
, http://dbpedia.org/resource/Logic_in_computer_science +
, http://dbpedia.org/resource/Mathematics +
, http://dbpedia.org/resource/Category:Russian_emigrants_to_the_United_States +
, http://dbpedia.org/resource/Category:Graduate_Center%2C_CUNY_faculty +
, http://dbpedia.org/resource/Hybrid_system +
, http://dbpedia.org/resource/Category:City_University_of_New_York_faculty +
, http://dbpedia.org/resource/Provability_logic +
, http://dbpedia.org/resource/City_University_of_New_York +
, http://dbpedia.org/resource/Doctor_of_Sciences +
, http://dbpedia.org/resource/Steklov_Mathematical_Institute +
|
| http://dbpedia.org/property/almaMater
|
Ph.D 1980 Moscow University,
, D.Sc. 1988 Steklov Mathematical Institute
|
| http://dbpedia.org/property/birthDate
|
"1951-12-25"^^xsd:date
|
| http://dbpedia.org/property/birthPlace
|
http://dbpedia.org/resource/USSR +
, http://dbpedia.org/resource/Oral%2C_Kazakhstan +
|
| http://dbpedia.org/property/caption
|
Sergei Nikolaevich Artemov at Association of Symbolic Logic Pittsburgh, May 2004
|
| http://dbpedia.org/property/doctoralAdvisor
|
http://dbpedia.org/resource/Andrei_Nikolayevich_Kolmogorov +
|
| http://dbpedia.org/property/field
|
http://dbpedia.org/resource/Computer_Science +
, http://dbpedia.org/resource/Mathematics +
, http://dbpedia.org/resource/Philosophy +
|
| http://dbpedia.org/property/name
|
Sergei Nikolaevich Artemov
|
| http://dbpedia.org/property/wikiPageUsesTemplate
|
http://dbpedia.org/resource/Template:Authority_control +
, http://dbpedia.org/resource/Template:Reflist +
, http://dbpedia.org/resource/Template:Cite_book +
, http://dbpedia.org/resource/Template:Infobox_scientist +
, http://dbpedia.org/resource/Template:Cite_techreport +
, http://dbpedia.org/resource/Template:Birth_date_and_age +
, http://dbpedia.org/resource/Template:Short_description +
, http://dbpedia.org/resource/Template:Citation_needed +
, http://dbpedia.org/resource/Template:Cite_encyclopedia +
, http://dbpedia.org/resource/Template:Cite_journal +
|
| http://dbpedia.org/property/workInstitution
|
http://dbpedia.org/resource/Moscow_University +
, http://dbpedia.org/resource/City_University_of_New_York%2C_Graduate_Center +
, http://dbpedia.org/resource/Cornell_University +
, http://dbpedia.org/resource/Steklov_Mathematical_Institute +
|
| http://purl.org/dc/terms/subject
|
http://dbpedia.org/resource/Category:Graduate_Center%2C_CUNY_faculty +
, http://dbpedia.org/resource/Category:City_University_of_New_York_faculty +
, http://dbpedia.org/resource/Category:Russian_emigrants_to_the_United_States +
, http://dbpedia.org/resource/Category:Moscow_State_University_alumni +
, http://dbpedia.org/resource/Category:Living_people +
, http://dbpedia.org/resource/Category:20th-century_American_mathematicians +
, http://dbpedia.org/resource/Category:21st-century_American_mathematicians +
, http://dbpedia.org/resource/Category:Soviet_mathematicians +
, http://dbpedia.org/resource/Category:1951_births +
|
| http://purl.org/linguistics/gold/hypernym
|
http://dbpedia.org/resource/Researcher +
|
| http://schema.org/sameAs
|
http://viaf.org/viaf/527144783075359045439 +
|
| http://www.w3.org/ns/prov#wasDerivedFrom
|
http://en.wikipedia.org/wiki/Sergei_N._Artemov?oldid=1105677317&ns=0 +
|
| http://xmlns.com/foaf/0.1/depiction
|
http://commons.wikimedia.org/wiki/Special:FilePath/Artemov_Sergei.jpg +
|
| http://xmlns.com/foaf/0.1/isPrimaryTopicOf
|
http://en.wikipedia.org/wiki/Sergei_N._Artemov +
|
| http://xmlns.com/foaf/0.1/name
|
Sergei Nikolaevich Artemov (Russian: Сергей Николаевич Артемов)
|
| owl:sameAs |
http://viaf.org/viaf/527144783075359045439 +
, http://data.bibliotheken.nl/id/thes/p072877820 +
, http://viaf.org/viaf/43022227 +
, http://yago-knowledge.org/resource/Sergei_N._Artemov +
, http://ru.dbpedia.org/resource/%D0%90%D1%80%D1%82%D1%91%D0%BC%D0%BE%D0%B2%2C_%D0%A1%D0%B5%D1%80%D0%B3%D0%B5%D0%B9_%D0%9D%D0%B8%D0%BA%D0%BE%D0%BB%D0%B0%D0%B5%D0%B2%D0%B8%D1%87_%28%D0%BC%D0%B0%D1%82%D0%B5%D0%BC%D0%B0%D1%82%D0%B8%D0%BA%29 +
, http://pt.dbpedia.org/resource/Sergei_Artemov +
, https://dblp.org/pid/a/SNArtemov +
, http://dbpedia.org/resource/Sergei_N._Artemov +
, http://www.wikidata.org/entity/Q16062135 +
, http://d-nb.info/gnd/1089473087 +
, http://d-nb.info/gnd/1089773986 +
, https://orcid.org/0000-0002-5605-6172 +
, https://global.dbpedia.org/id/b8SE +
, http://rdf.freebase.com/ns/m.0xn9yxs +
, http://d-nb.info/gnd/1186305789 +
|
| rdf:type |
http://dbpedia.org/class/yago/PhysicalEntity100001930 +
, http://www.wikidata.org/entity/Q215627 +
, http://www.wikidata.org/entity/Q5 +
, http://www.wikidata.org/entity/Q729 +
, http://dbpedia.org/class/yago/Scientist110560637 +
, http://dbpedia.org/ontology/Eukaryote +
, http://dbpedia.org/class/yago/CausalAgent100007347 +
, http://dbpedia.org/ontology/Animal +
, http://www.wikidata.org/entity/Q19088 +
, http://xmlns.com/foaf/0.1/Person +
, http://dbpedia.org/class/yago/Organism100004475 +
, http://dbpedia.org/class/yago/LivingThing100004258 +
, http://dbpedia.org/ontology/Person +
, http://dbpedia.org/class/yago/Object100002684 +
, http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#NaturalPerson +
, http://dbpedia.org/class/yago/Whole100003553 +
, http://dbpedia.org/ontology/Scientist +
, http://dbpedia.org/class/yago/YagoLegalActorGeo +
, http://dbpedia.org/class/yago/YagoLegalActor +
, http://dbpedia.org/class/yago/Person100007846 +
, http://dbpedia.org/ontology/Species +
, http://dbpedia.org/class/yago/WikicatLivingPeople +
, http://www.wikidata.org/entity/Q901 +
, http://schema.org/Person +
|
| rdfs:comment |
Sergei Nikolaevich Artemov (em russo: Сергей Николаевич Артемов; Uralsk, 25 de dezembro de 1951) é um lógico matemático russo-estadunidense.
, Sergei Nikolaevich Artemov (Russian: Серге … 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.on of logics of proofs and justifications.
, Сергей Николаевич Артёмов (род. 1951) — со … Сергей Николаевич Артёмов (род. 1951) — советский учёный, доктор физико-математических наук, профессор. Учёный в области математической логики и её приложений. В настоящее время — профессор Центра аспирантуры Городского университета Нью-Йорка, где является основателем и руководителем исследовательской лаборатории логики и вычислений. Автор многих работ.и логики и вычислений. Автор многих работ.
|
| rdfs:label |
Артёмов, Сергей Николаевич (математик)
, Sergei Artemov
, Sergei N. Artemov
|
