Proceedings of the European Symposium on the Validation and Verification of Knowledge-Based Systems, EUROVAV '95, Chamb√©ry, France, June 1995 | D2R Server publishing the DBLP Bibliography Database, hosted at L3S Research Center

Property	Value
dcterms:bibliographicCitation	<http://dblp.uni-trier.de/rec/bibtex/conf/eurovav/1995>
dc:creator	<https://dblp.l3s.de/d2r/resource/authors/Marc_Ayel>
dc:creator	<https://dblp.l3s.de/d2r/resource/authors/Marie-Christine_Rousset>
swrc:editor	<https://dblp.l3s.de/d2r/resource/authors/Marc_Ayel>
swrc:editor	<https://dblp.l3s.de/d2r/resource/authors/Marie-Christine_Rousset>
dc:identifier	DBLP conf/eurovav/1995 (xsd:string)
dcterms:issued	1995 (xsd:gYear)
rdfs:label	Proceedings of the European Symposium on the Validation and Verification of Knowledge-Based Systems, EUROVAV '95, Chamb√©ry, France, June 1995 (xsd:string)
is dcterms:partOf of	<https://dblp.l3s.de/d2r/resource/publications/conf/eurovav/Antoniou95>
is dcterms:partOf of	<https://dblp.l3s.de/d2r/resource/publications/conf/eurovav/AyelS95>
is dcterms:partOf of	<https://dblp.l3s.de/d2r/resource/publications/conf/eurovav/Bendou95>
is dcterms:partOf of	<https://dblp.l3s.de/d2r/resource/publications/conf/eurovav/BoualiL95>
is dcterms:partOf of	<https://dblp.l3s.de/d2r/resource/publications/conf/eurovav/Boulitreau-LefevreK95>
is dcterms:partOf of	<https://dblp.l3s.de/d2r/resource/publications/conf/eurovav/Domingue95>
is dcterms:partOf of	<https://dblp.l3s.de/d2r/resource/publications/conf/eurovav/HaoucheC95>
is dcterms:partOf of	<https://dblp.l3s.de/d2r/resource/publications/conf/eurovav/HinkelmanK95>
is dcterms:partOf of	<https://dblp.l3s.de/d2r/resource/publications/conf/eurovav/HoelterRV95>
is dcterms:partOf of	<https://dblp.l3s.de/d2r/resource/publications/conf/eurovav/LounisA95>
is dcterms:partOf of	<https://dblp.l3s.de/d2r/resource/publications/conf/eurovav/PalmerC95>
is dcterms:partOf of	<https://dblp.l3s.de/d2r/resource/publications/conf/eurovav/PreeceGR95>
is dcterms:partOf of	<https://dblp.l3s.de/d2r/resource/publications/conf/eurovav/RabeloRSXLCFOSW95>
is dcterms:partOf of	<https://dblp.l3s.de/d2r/resource/publications/conf/eurovav/SchmolzeS95>
is dcterms:partOf of	<https://dblp.l3s.de/d2r/resource/publications/conf/eurovav/StraatmanB95>
is dcterms:partOf of	<https://dblp.l3s.de/d2r/resource/publications/conf/eurovav/Todd95>
is dcterms:partOf of	<https://dblp.l3s.de/d2r/resource/publications/conf/eurovav/TreurW95>
is dcterms:partOf of	<https://dblp.l3s.de/d2r/resource/publications/conf/eurovav/VanthienenAMW95>
is dcterms:partOf of	<https://dblp.l3s.de/d2r/resource/publications/conf/eurovav/VermesanM95>
is dcterms:partOf of	<https://dblp.l3s.de/d2r/resource/publications/conf/eurovav/WendlerA95>
is dcterms:partOf of	<https://dblp.l3s.de/d2r/resource/publications/conf/eurovav/XanthakisR95>
dc:publisher	ADERIAS-LIA, Universite de Savoie (xsd:string)
owl:sameAs	<http://bibsonomy.org/uri/bibtexkey/conf/eurovav/1995/dblp>
owl:sameAs	<http://dblp.rkbexplorer.com/id/conf/eurovav/1995>
swrc:series	<https://dblp.l3s.de/d2r/resource/conferences/eurovav>
dcterms:tableOfContent	<http://dblp.uni-trier.de/db/conf/eurovav/eurovav1995.html>
dc:title	Proceedings of the European Symposium on the Validation and Verification of Knowledge-Based Systems, EUROVAV '95, Chamb√©ry, France, June 1995 (xsd:string)
dc:type	<http://purl.org/dc/dcmitype/Collection>
rdf:type	swrc:Proceedings
rdf:type	foaf:Document