This HTML5 document contains 19 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

PrefixNamespace IRI
dctermshttp://purl.org/dc/terms/
marcrelhttp://id.loc.gov/vocabulary/relators/
n16http://www.idref.fr/164762299/
n15http://www.idref.fr/060348313/
n12http://www.theses.fr/2012ENSL0742/
rolehttp://www.abes.fr/vocabularies/theses/roles/
n10http://www.idref.fr/027253139/
n5http://www.idref.fr/148390757/
n17http://www.idref.fr/078235057/
dchttp://purl.org/dc/elements/1.1/
n19http://www.idref.fr/133858618/
bibohttp://purl.org/ontology/bibo/
n20http://www.idref.fr/07848507X/
n18http://www.idref.fr/061187275/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
rdamhttp://rdaregistry.info/Elements/m/
n2http://www.sudoc.fr/165008210/
n21http://www.idref.fr/191041289/
n14http://www.idref.fr/149154992/
n13http://www.idref.fr/034200282/
n23http://www.abes.fr/vocabularies/sudoc/
xsdhhttp://www.w3.org/2001/XMLSchema#
n8http://www.idref.fr/112505821/
n22http://www.idref.fr/029762871/
Subject Item
n2:id
rdf:type
bibo:Thesis bibo:Document
marcrel:ths
n22:id
marcrel:pra
n13:id
marcrel:aut
n16:id
dcterms:bibliographicCitation
Contributions à la vérification formelle d'algorithmes arithmétiques / Erik Martin-Dorel ; sous la direction de Jean-Michel Muller / , 2012
dcterms:subject
n10:id n20:id
marcrel:dgg
n14:id
marcrel:opn
n8:id n18:id
dc:date
2012
role:958
n15:id n17:id n19:id
rdam:P30135
n12:id
n23:holdingsCount
1
role:981
n21:id
role:996
n5:id