http://dbpedia.org/ontology/abstract
|
Thierry Coquand, född den 18 april 1961 i , Isère, Frankrike, är professor i data- och informationsteknik vid Göteborgs universitet.
, Тьерри Кокан (фр. Thierry Coquand; родился … Тьерри Кокан (фр. Thierry Coquand; родился 18 апреля 1961 года) — французский математик, специалист по теории типов и автоматическому доказательству, создатель исчисления конструкций, соорганизатор программы создания унивалентных оснований математики. Профессор факультета информатики и инженерии Гётеборгского университета.ки и инженерии Гётеборгского университета.
, Thierry Coquand (French: [kɔkɑ̃]; born 18 … Thierry Coquand (French: [kɔkɑ̃]; born 18 April 1961 in Jallieu, Isère, France) is a professor in computer science at the University of Gothenburg, known for his work in constructive mathematics, especially the calculus of constructions. He received his Ph.D. under the supervision of Gérard Huet.h.D. under the supervision of Gérard Huet.
, Thierry Coquand (né le 18 avril 1961 à Jal … Thierry Coquand (né le 18 avril 1961 à Jallieu en Isère) est un mathématicien français, professeur d'informatique théorique à l'Université de Göteborg en Suède. Il est connu pour son travail sur les mathématiques constructives, en particulier le calcul des constructions. Il a eu pour directeur de thèse Gérard Huet. a eu pour directeur de thèse Gérard Huet.
, Thierry Coquand (* 18. April 1961 in Jallieu, Département Isère) ist ein französischer Mathematiker und Informatiker.
|
http://dbpedia.org/ontology/thumbnail
|
http://commons.wikimedia.org/wiki/Special:FilePath/Thierry_Coquand_%28cropped%29.jpg?width=300 +
|
http://dbpedia.org/ontology/wikiPageExternalLink
|
http://www.cse.chalmers.se/~coquand/ +
|
http://dbpedia.org/ontology/wikiPageID
|
31842262
|
http://dbpedia.org/ontology/wikiPageLength
|
1011
|
http://dbpedia.org/ontology/wikiPageRevisionID
|
1107472061
|
http://dbpedia.org/ontology/wikiPageWikiLink
|
http://dbpedia.org/resource/G%C3%A9rard_Huet +
, http://dbpedia.org/resource/Category:University_of_Gothenburg_faculty +
, http://dbpedia.org/resource/Computer_science +
, http://dbpedia.org/resource/Coq +
, http://dbpedia.org/resource/Category:21st-century_French_mathematicians +
, http://dbpedia.org/resource/Category:Living_people +
, http://dbpedia.org/resource/File:Thierry_Coquand_%28cropped%29.jpg +
, http://dbpedia.org/resource/Girard%27s_paradox +
, http://dbpedia.org/resource/University_of_Gothenburg +
, http://dbpedia.org/resource/Category:%C3%89cole_Normale_Sup%C3%A9rieure_alumni +
, http://dbpedia.org/resource/Category:1961_births +
, http://dbpedia.org/resource/Is%C3%A8re +
, http://dbpedia.org/resource/Category:20th-century_French_mathematicians +
, http://dbpedia.org/resource/Constructive_mathematics +
, http://dbpedia.org/resource/Category:French_computer_scientists +
, http://dbpedia.org/resource/Calculus_of_constructions +
|
http://dbpedia.org/property/wikiPageUsesTemplate
|
http://dbpedia.org/resource/Template:France-mathematician-stub +
, http://dbpedia.org/resource/Template:Authority_control +
, http://dbpedia.org/resource/Template:DBLP +
, http://dbpedia.org/resource/Template:IPA-fr +
, http://dbpedia.org/resource/Template:Compu-scientist-stub +
, http://dbpedia.org/resource/Template:Short_description +
|
http://purl.org/dc/terms/subject
|
http://dbpedia.org/resource/Category:University_of_Gothenburg_faculty +
, http://dbpedia.org/resource/Category:French_computer_scientists +
, http://dbpedia.org/resource/Category:Living_people +
, http://dbpedia.org/resource/Category:%C3%89cole_Normale_Sup%C3%A9rieure_alumni +
, http://dbpedia.org/resource/Category:20th-century_French_mathematicians +
, http://dbpedia.org/resource/Category:21st-century_French_mathematicians +
, http://dbpedia.org/resource/Category:1961_births +
|
http://purl.org/linguistics/gold/hypernym
|
http://dbpedia.org/resource/Professor +
|
http://schema.org/sameAs
|
http://viaf.org/viaf/117236995 +
|
http://www.w3.org/ns/prov#wasDerivedFrom
|
http://en.wikipedia.org/wiki/Thierry_Coquand?oldid=1107472061&ns=0 +
|
http://xmlns.com/foaf/0.1/depiction
|
http://commons.wikimedia.org/wiki/Special:FilePath/Thierry_Coquand_%28cropped%29.jpg +
|
http://xmlns.com/foaf/0.1/isPrimaryTopicOf
|
http://en.wikipedia.org/wiki/Thierry_Coquand +
|
owl:sameAs |
http://mg.dbpedia.org/resource/Thierry_Coquand +
, http://www.wikidata.org/entity/Q3524190 +
, http://dbpedia.org/resource/Thierry_Coquand +
, http://arz.dbpedia.org/resource/%D8%AB%D9%8A%D8%B1%D9%89_%D9%83%D9%88%D9%83%D9%88%D8%A7%D9%86%D8%AF +
, http://ru.dbpedia.org/resource/%D0%9A%D0%BE%D0%BA%D0%B0%D0%BD%2C_%D0%A2%D1%8C%D0%B5%D1%80%D1%80%D0%B8 +
, http://viaf.org/viaf/117236995 +
, http://sv.dbpedia.org/resource/Thierry_Coquand +
, http://de.dbpedia.org/resource/Thierry_Coquand +
, http://rdf.freebase.com/ns/m.0gtwsc9 +
, http://yago-knowledge.org/resource/Thierry_Coquand +
, https://dblp.org/pid/59/3944 +
, http://d-nb.info/gnd/122538900 +
, https://global.dbpedia.org/id/3FWib +
, http://fr.dbpedia.org/resource/Thierry_Coquand +
, http://data.bibliotheken.nl/id/thes/p213085054 +
|
rdf:type |
http://dbpedia.org/class/yago/CausalAgent100007347 +
, http://dbpedia.org/class/yago/WikicatFrenchComputerScientists +
, http://dbpedia.org/class/yago/YagoLegalActorGeo +
, http://dbpedia.org/class/yago/YagoLegalActor +
, http://dbpedia.org/class/yago/PhysicalEntity100001930 +
, http://dbpedia.org/class/yago/Organism100004475 +
, http://dbpedia.org/class/yago/WikicatFrenchMathematicians +
, http://dbpedia.org/class/yago/LivingThing100004258 +
, http://dbpedia.org/ontology/Person +
, http://dbpedia.org/class/yago/Mathematician110301261 +
, http://dbpedia.org/class/yago/Scientist110560637 +
, http://dbpedia.org/class/yago/Whole100003553 +
, http://dbpedia.org/class/yago/Object100002684 +
, http://dbpedia.org/class/yago/WikicatLivingPeople +
, http://dbpedia.org/class/yago/ComputerScientist109951070 +
, http://dbpedia.org/class/yago/Person100007846 +
, http://dbpedia.org/ontology/Scientist +
, http://dbpedia.org/class/yago/ComputerUser109951274 +
|
rdfs:comment |
Тьерри Кокан (фр. Thierry Coquand; родился … Тьерри Кокан (фр. Thierry Coquand; родился 18 апреля 1961 года) — французский математик, специалист по теории типов и автоматическому доказательству, создатель исчисления конструкций, соорганизатор программы создания унивалентных оснований математики. Профессор факультета информатики и инженерии Гётеборгского университета.ки и инженерии Гётеборгского университета.
, Thierry Coquand (French: [kɔkɑ̃]; born 18 … Thierry Coquand (French: [kɔkɑ̃]; born 18 April 1961 in Jallieu, Isère, France) is a professor in computer science at the University of Gothenburg, known for his work in constructive mathematics, especially the calculus of constructions. He received his Ph.D. under the supervision of Gérard Huet.h.D. under the supervision of Gérard Huet.
, Thierry Coquand (* 18. April 1961 in Jallieu, Département Isère) ist ein französischer Mathematiker und Informatiker.
, Thierry Coquand (né le 18 avril 1961 à Jal … Thierry Coquand (né le 18 avril 1961 à Jallieu en Isère) est un mathématicien français, professeur d'informatique théorique à l'Université de Göteborg en Suède. Il est connu pour son travail sur les mathématiques constructives, en particulier le calcul des constructions. Il a eu pour directeur de thèse Gérard Huet. a eu pour directeur de thèse Gérard Huet.
, Thierry Coquand, född den 18 april 1961 i , Isère, Frankrike, är professor i data- och informationsteknik vid Göteborgs universitet.
|
rdfs:label |
Thierry Coquand
, Кокан, Тьерри
|