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

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

http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-mo
http://xmlns.com/foaf/0.1/topic_interest Biological data visualization
http://xmlns.com/foaf/0.1/topic_interest Coq
http://xmlns.com/foaf/0.1/familyName Boutillier
http://xmlns.com/foaf/0.1/topic_interest Rule-based models
http://xmlns.com/foaf/0.1/topic_interest Static analysis
http://xmlns.com/foaf/0.1/topic_interest Rule-based modelling
http://xmlns.com/foaf/0.1/topic_interest Rule-based modeling
http://xmlns.com/foaf/0.1/topic_interest Strongly connected components
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-dc
http://xmlns.com/foaf/0.1/topic_interest Reduction strategy
http://xmlns.com/foaf/0.1/topic_interest Protein-protein interaction networks
http://xmlns.com/foaf/0.1/topic_interest Protein-protein interaction network
http://xmlns.com/foaf/0.1/topic_interest Filtrage
http://xmlns.com/foaf/0.1/topic_interest Induction logique
http://xmlns.com/foaf/0.1/topic_interest Pattern-matching
http://xmlns.com/foaf/0.1/name Pierre Boutillier
http://xmlns.com/foaf/0.1/topic_interest Langages de programmation -- Sémantique
http://xmlns.com/foaf/0.1/topic_interest Induction logic
http://www.openarchives.org/ore/terms/isAggregatedBy https://data.archives-ouvertes.fr/author/pboutill
http://xmlns.com/foaf/0.1/topic_interest Coq software
http://xmlns.com/foaf/0.1/topic_interest Polymers
http://xmlns.com/foaf/0.1/topic_interest Coq logiciel
http://www.w3.org/1999/02/22-rdf-syntax-ns#type http://xmlns.com/foaf/0.1/Person
http://www.w3.org/2002/07/owl#sameAs 177831596
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-ms
http://xmlns.com/foaf/0.1/topic_interest Assistants de preuve
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-bi
http://xmlns.com/foaf/0.1/topic_interest Algebraic datatypes
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-pl
http://xmlns.com/foaf/0.1/topic_interest Krivine Abstract Machine
http://xmlns.com/foaf/0.1/topic_interest Proof assistant
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/sdv.bibs
http://xmlns.com/foaf/0.1/topic_interest Dynamic networks
http://xmlns.com/foaf/0.1/mbox_sha1sum 0d10dcb7bdbcdb4d2a5e471c39d35931
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-lo
http://xmlns.com/foaf/0.1/firstName Pierre
https://aurehal.archives-ouvertes.fr/author/2617

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