Property | Value |
dcterms:bibliographicCitation
|
<http://dblp.uni-trier.de/rec/bibtex/conf/cade/2008>
|
dc:creator
|
<https://dblp.l3s.de/d2r/resource/authors/Alessandro_Armando>
|
dc:creator
|
<https://dblp.l3s.de/d2r/resource/authors/Gilles_Dowek>
|
dc:creator
|
<https://dblp.l3s.de/d2r/resource/authors/Peter_Baumgartner_0001>
|
swrc:editor
|
<https://dblp.l3s.de/d2r/resource/authors/Alessandro_Armando>
|
swrc:editor
|
<https://dblp.l3s.de/d2r/resource/authors/Gilles_Dowek>
|
swrc:editor
|
<https://dblp.l3s.de/d2r/resource/authors/Peter_Baumgartner_0001>
|
foaf:homepage
|
<http://dx.doi.org/doi.org%2F10.1007%2F978-3-540-71070-7>
|
foaf:homepage
|
<https://doi.org/10.1007/978-3-540-71070-7>
|
dc:identifier
|
DBLP conf/cade/2008
(xsd:string)
|
dc:identifier
|
DOI doi.org%2F10.1007%2F978-3-540-71070-7
(xsd:string)
|
dc:identifier
|
ISBN 978-3-540-71069-1
(xsd:string)
|
swrc:isbn
|
ISBN 978-3-540-71069-1
(xsd:string)
|
dcterms:issued
|
2008
(xsd:gYear)
|
rdfs:label
|
Automated Reasoning, 4th International Joint Conference, IJCAR 2008, Sydney, Australia, August 12-15, 2008, Proceedings
(xsd:string)
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/cade/AvanziniMS08>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/cade/BaaderP08>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/cade/BartheGP08>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/cade/BeierleKK08>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/cade/BenzmullerPTF08>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/cade/BenzmullerRS08>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/cade/BonacinaD08>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/cade/BouhoulaJ08>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/cade/BoyerGJ08>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/cade/BozgaIP08>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/cade/Comon-Lundh08>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/cade/DarvasMR08>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/cade/Dershowitz08>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/cade/DuranLM08>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/cade/FietzkeW08>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/cade/FurbachGHP08>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/cade/Gacek08>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/cade/GhilardiNRZ08>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/cade/GoreP08>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/cade/Gupta08>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/cade/HirokawaM08>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/cade/HofnerS08>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/cade/KaminskiS08>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/cade/KonevWW08>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/cade/Korovin08>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/cade/Kovacs08>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/cade/KremerMT08>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/cade/Lutz08>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/cade/Melquiond08>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/cade/MotikH08>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/cade/MouraB08>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/cade/MouraB08a>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/cade/NigamM08>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/cade/Nipkow08>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/cade/Oostrom08>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/cade/Otten08>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/cade/PerezV08>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/cade/PlatzerQ08>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/cade/SatoWKM08>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/cade/Schack-NielsenS08>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/cade/SchmidtT08>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/cade/Sutcliffe08>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/cade/TourEN08>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/cade/UrbanSPV08>
|
dc:publisher
|
Springer
(xsd:string)
|
owl:sameAs
|
<http://bibsonomy.org/uri/bibtexkey/conf/cade/2008/dblp>
|
owl:sameAs
|
<http://dblp.rkbexplorer.com/id/conf/cade/2008>
|
owl:sameAs
|
<urn:isbn:978-3-540-71069-1>
|
rdfs:seeAlso
|
<http://amazon.com/s/ref=nb_ss_gw?field-keywords=978-3-540-71069-1>
|
rdfs:seeAlso
|
<https://doi.org/10.1007/978-3-540-71070-7>
|
swrc:series
|
<https://dblp.l3s.de/d2r/resource/conferences/cade>
|
dcterms:tableOfContent
|
<http://dblp.uni-trier.de/db/conf/cade/ijcar2008.html>
|
dc:title
|
Automated Reasoning, 4th International Joint Conference, IJCAR 2008, Sydney, Australia, August 12-15, 2008, Proceedings
(xsd:string)
|
dc:type
|
<http://purl.org/dc/dcmitype/Collection>
|
rdf:type
|
swrc:Proceedings
|
rdf:type
|
foaf:Document
|
swrc:volume
|
5195
(xsd:string)
|