About: http://www.sudoc.fr/016087933/id

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: http://www.sudoc.fr/016087933/id Goto Sponge NotDistinct Permalink

An Entity of Type : bibo:Book, within Data Space : data.idref.fr associated with source document(s)

Attributes	Values
type	Document Book
Publisher	Institut Mémoires de l'édition contemporaine (France) Communautés européennes. Commission (1965-1993)
Author	International workshop on Higher Order Logic Theorem Proving and its Applications (8 ; 1995 ; Aspen Grove, Utah)
Bibliographic Citation	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
Subject	http://www.idref.fr/027819213/id http://www.idref.fr/02886431X/id http://www.idref.fr/027509613/id http://www.idref.fr/027662799/id
Publishing director	Claesen, Luc J. M. Gordon, Michael J. C. (1948-....)
dc:date	1993(xsd:integer)
http://www.abes.fr...doc/holdingsCount	2(xsd:integer)

Faceted Search & Find service v1.13.91 as of Aug 16 2018

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3229 as of May 14 2019, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (70 GB total memory)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2025 OpenLink Software