https://data.archives-ouvertes.fr/author/178333

https://data.archives-ouvertes.fr/author/178333

http://xmlns.com/foaf/0.1/topic_interest Evaluation
http://xmlns.com/foaf/0.1/topic_interest COQ
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-cl
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/sdv.spee
http://xmlns.com/foaf/0.1/topic_interest Question-answering system
http://xmlns.com/foaf/0.1/topic_interest Hemiparesis
http://xmlns.com/foaf/0.1/topic_interest Rehabilitation
http://xmlns.com/foaf/0.1/topic_interest Résiliation
http://xmlns.com/foaf/0.1/mbox_sha1sum 2511a9e35d37d8888c71e40704fe51ad
http://xmlns.com/foaf/0.1/topic_interest Assistant de preuve
http://xmlns.com/foaf/0.1/topic_interest OCAML
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.eiah
http://xmlns.com/foaf/0.1/topic_interest Tablet
http://xmlns.com/foaf/0.1/familyName Pons
http://xmlns.com/foaf/0.1/topic_interest Certification
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-tt
http://xmlns.com/foaf/0.1/topic_interest THEORIE DES TYPES
http://xmlns.com/foaf/0.1/topic_interest Termination
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-wb
http://xmlns.com/foaf/0.1/topic_interest Automated Reasoning
http://xmlns.com/foaf/0.1/topic_interest EXTRACTION
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-pl
http://xmlns.com/foaf/0.1/topic_interest MOOC
http://xmlns.com/foaf/0.1/firstName Olivier
http://xmlns.com/foaf/0.1/topic_interest Game
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-oh
http://xmlns.com/foaf/0.1/topic_interest Preuve automatique
http://xmlns.com/foaf/0.1/topic_interest Automated proof
http://xmlns.com/foaf/0.1/name Olivier Pons
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-mc
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-lo
http://www.w3.org/1999/02/22-rdf-syntax-ns#type http://xmlns.com/foaf/0.1/Person
http://xmlns.com/foaf/0.1/topic_interest Proof assistant
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/sdv.neu.pc
http://www.openarchives.org/ore/terms/isAggregatedBy https://data.archives-ouvertes.fr/author/olivier-pons
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/scco.neur
http://xmlns.com/foaf/0.1/topic_interest Numerical skills
http://xmlns.com/foaf/0.1/topic_interest Term Rewriting
http://xmlns.com/foaf/0.1/topic_interest Synonymy
http://xmlns.com/foaf/0.1/topic_interest Formal Proof
http://xmlns.com/foaf/0.1/topic_interest Parallel programming
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-hc
http://www.w3.org/2002/07/owl#sameAs 183634497
http://xmlns.com/foaf/0.1/topic_interest Web
http://xmlns.com/foaf/0.1/topic_interest Infrastructure de correction automatisée
http://www.w3.org/2002/07/owl#sameAs 0000-0001-6423-8630
https://aurehal.archives-ouvertes.fr/author/178333

Télécharger au format  
RDF/XML Turtle N3 Json