Christine Paulin-Mohring
http://dbpedia.org/resource/Christine_Paulin-Mohring an entity of type: Thing
Christine Paulin-Mohring (born 1962) is a mathematical logician and computer scientist, and Professor at Paris-Saclay University, best known for developing the interactive theorem prover Coq.
rdf:langString
Christine Paulin-Mohring (* 31. Mai 1962) ist eine französische Mathematikerin und Informatikerin. Sie entwickelte mit anderen die Coq-Software, eine Software zum maschinengestützten Beweisen.
rdf:langString
Christine Paulin-Mohring, née le 31 mai 1962, est mathématicienne et informaticienne française. Elle développe l'assistant de preuve Coq.
rdf:langString
Christine Paulin-Mohring (1962) é uma matemática e cientista da computação francesa, professora da Universidade Paris-Saclay, conhecida pelo desenvolvimento do teorema interativo de prova Coq.
rdf:langString
rdf:langString
Christine Paulin-Mohring
rdf:langString
Christine Paulin-Mohring
rdf:langString
Christine Paulin-Mohring
rdf:langString
Christine Paulin-Mohring
rdf:langString
Christine Paulin-Mohring
rdf:langString
Christine Paulin-Mohring
xsd:integer
58716885
xsd:integer
1116802890
xsd:integer
150
rdf:langString
Christine Paulin-Mohring (born 1962) is a mathematical logician and computer scientist, and Professor at Paris-Saclay University, best known for developing the interactive theorem prover Coq.
rdf:langString
Christine Paulin-Mohring (* 31. Mai 1962) ist eine französische Mathematikerin und Informatikerin. Sie entwickelte mit anderen die Coq-Software, eine Software zum maschinengestützten Beweisen.
rdf:langString
Christine Paulin-Mohring, née le 31 mai 1962, est mathématicienne et informaticienne française. Elle développe l'assistant de preuve Coq.
rdf:langString
Christine Paulin-Mohring (1962) é uma matemática e cientista da computação francesa, professora da Universidade Paris-Saclay, conhecida pelo desenvolvimento do teorema interativo de prova Coq.
xsd:nonNegativeInteger
6039