This HTML5 document contains 14 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/
n4http://www.idref.fr/026436604/
n13http://www.idref.fr/098997882/
n12http://www.idref.fr/027662799/
dchttp://purl.org/dc/elements/1.1/
n6http://www.idref.fr/029929571/
n7http://www.idref.fr/085857491/
bibohttp://purl.org/ontology/bibo/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n11http://www.idref.fr/027819213/
n9http://www.idref.fr/02886431X/
n2http://www.sudoc.fr/016087933/
n5http://www.abes.fr/vocabularies/sudoc/
n15http://www.idref.fr/027509613/
n16http://www.idref.fr/132935368/
xsdhhttp://www.w3.org/2001/XMLSchema#
Subject Item
n2:id
rdf:type
bibo:Book bibo:Document
marcrel:pbl
n4:id n6:id
marcrel:aut
n13:id
dcterms:bibliographicCitation
Higher order logic theorem proving and its applications : proceedings of the IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications--HOL '92 / organized by CHEOPS ESPRIT BRA 3215 ; sponsored by IMEC and the Commission of the European Communities, Leuven, Belgium, 21-24 September 1992 ; edited by Luc J.M. Claesen, Michael J.C. Gordon / Amsterdam : North-Holland , 1993
dcterms:subject
n9:id n11:id n12:id n15:id
marcrel:pbd
n7:id n16:id
dc:date
1993
n5:holdingsCount
2