Property | Value |
dcterms:bibliographicCitation
|
<http://dblp.uni-trier.de/rec/bibtex/conf/cade/2007>
|
dc:creator
|
<https://dblp.l3s.de/d2r/resource/authors/Frank_Pfenning>
|
swrc:editor
|
<https://dblp.l3s.de/d2r/resource/authors/Frank_Pfenning>
|
foaf:homepage
|
<http://dx.doi.org/doi.org%2F10.1007%2F978-3-540-73595-3>
|
foaf:homepage
|
<https://doi.org/10.1007/978-3-540-73595-3>
|
dc:identifier
|
DBLP conf/cade/2007
(xsd:string)
|
dc:identifier
|
DOI doi.org%2F10.1007%2F978-3-540-73595-3
(xsd:string)
|
dc:identifier
|
ISBN 978-3-540-73594-6
(xsd:string)
|
swrc:isbn
|
ISBN 978-3-540-73594-6
(xsd:string)
|
dcterms:issued
|
2007
(xsd:gYear)
|
rdfs:label
|
Automated Deduction - CADE-21, 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, Proceedings
(xsd:string)
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/cade/Aderhold07>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/cade/AntonsenW07>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/cade/BaeldeGMNT07>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/cade/Baumgartner07>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/cade/BaumgartnerFP07>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/cade/BeckertGHKRSS07>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/cade/BonacinaE07>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/cade/CouchotL07>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/cade/DeshaneHJLLM07>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/cade/FalkeK07>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/cade/GeBT07>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/cade/GhilardiNRZ07>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/cade/GieslTSS07>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/cade/GodoyT07>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/cade/Harrison07>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/cade/HasanT07>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/cade/HeilalaP07>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/cade/HofnerS07>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/cade/KoprowskiM07>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/cade/Krauss07>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/cade/KuncakR07>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/cade/Leino07>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/cade/Lev-AmiWRS07>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/cade/LiS07>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/cade/LutzW07>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/cade/LynchT07>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/cade/MotikSH07>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/cade/MouraB07>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/cade/MurkLH07>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/cade/PelzerW07>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/cade/PerezV07>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/cade/Stirling07>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/cade/SutcliffeP07>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/cade/TiwariG07>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/cade/UnelT07>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/cade/UrbanBN07>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/cade/VerchinineLP07>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/cade/WeidenbachSHRT07>
|
dc:publisher
|
Springer
(xsd:string)
|
owl:sameAs
|
<http://bibsonomy.org/uri/bibtexkey/conf/cade/2007/dblp>
|
owl:sameAs
|
<http://dblp.rkbexplorer.com/id/conf/cade/2007>
|
owl:sameAs
|
<urn:isbn:978-3-540-73594-6>
|
rdfs:seeAlso
|
<http://amazon.com/s/ref=nb_ss_gw?field-keywords=978-3-540-73594-6>
|
rdfs:seeAlso
|
<https://doi.org/10.1007/978-3-540-73595-3>
|
swrc:series
|
<https://dblp.l3s.de/d2r/resource/conferences/cade>
|
dcterms:tableOfContent
|
<http://dblp.uni-trier.de/db/conf/cade/cade2007.html>
|
dc:title
|
Automated Deduction - CADE-21, 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, Proceedings
(xsd:string)
|
dc:type
|
<http://purl.org/dc/dcmitype/Collection>
|
rdf:type
|
swrc:Proceedings
|
rdf:type
|
foaf:Document
|
swrc:volume
|
4603
(xsd:string)
|