[RDF data]
Home | Example Publications
PropertyValue
dcterms:bibliographicCitation <http://dblp.uni-trier.de/rec/bibtex/conf/cade/2022>
dc:creator <https://dblp.l3s.de/d2r/resource/authors/Dirk_Pattinson>
dc:creator <https://dblp.l3s.de/d2r/resource/authors/Jasmin_Blanchette>
dc:creator <https://dblp.l3s.de/d2r/resource/authors/Laura_Kov%E2%88%9A%C2%B0cs>
swrc:editor <https://dblp.l3s.de/d2r/resource/authors/Dirk_Pattinson>
swrc:editor <https://dblp.l3s.de/d2r/resource/authors/Jasmin_Blanchette>
swrc:editor <https://dblp.l3s.de/d2r/resource/authors/Laura_Kov%E2%88%9A%C2%B0cs>
foaf:homepage <http://dx.doi.org/doi.org%2F10.1007%2F978-3-031-10769-6>
foaf:homepage <https://doi.org/10.1007/978-3-031-10769-6>
dc:identifier DBLP conf/cade/2022 (xsd:string)
dc:identifier DOI doi.org%2F10.1007%2F978-3-031-10769-6 (xsd:string)
dc:identifier ISBN 978-3-031-10768-9 (xsd:string)
swrc:isbn ISBN 978-3-031-10768-9 (xsd:string)
dcterms:issued 2022 (xsd:gYear)
rdfs:label Automated Reasoning - 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings (xsd:string)
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/cade/AkshayCP22>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/cade/AlbertGHRR22>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/cade/AlrabbaaBBDKM22>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/cade/BarbosaRKLNNOPV22>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/cade/BernreiterLMW22>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/cade/BilkovaFK22>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/cade/BlaisdellKKPS22>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/cade/BozgaBI22>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/cade/BrombergerLW22>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/cade/BrownK22>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/cade/CaillerRDRB22>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/cade/CauliOP22>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/cade/DasG22>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/cade/Dowek22>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/cade/DuarteK22>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/cade/DuranEEMMRT22>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/cade/FelliMW22>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/cade/FiorentiniF22>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/cade/FrohnG22>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/cade/GallicchioTMP22>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/cade/GreatiM22>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/cade/HaifaniKTW22>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/cade/HaifaniW22>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/cade/HolubRS22>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/cade/IhalainenBJ22>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/cade/Indrzejczak22>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/cade/KremerRBT22>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/cade/KutsiaP22>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/cade/LahavZ22>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/cade/LeidingerW22>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/cade/LommenMG22>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/cade/ManglaHP22>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/cade/MatsuzakiF22>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/cade/NalonHPD22>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/cade/PiepenbrockHJU22>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/cade/Popescu22>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/cade/ReevesHB22>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/cade/ShengNRZDGPQBT22>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/cade/SochanskiLCTJ22>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/cade/Suda22>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/cade/TammetDJ22>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/cade/Yamada22>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/cade/YangMB22>
dc:publisher Springer (xsd:string)
owl:sameAs <http://bibsonomy.org/uri/bibtexkey/conf/cade/2022/dblp>
owl:sameAs <http://dblp.rkbexplorer.com/id/conf/cade/2022>
owl:sameAs <urn:isbn:978-3-031-10768-9>
rdfs:seeAlso <http://amazon.com/s/ref=nb_ss_gw?field-keywords=978-3-031-10768-9>
rdfs:seeAlso <https://doi.org/10.1007/978-3-031-10769-6>
swrc:series <https://dblp.l3s.de/d2r/resource/conferences/cade>
dcterms:tableOfContent <http://dblp.uni-trier.de/db/conf/cade/ijcar2022.html>
dc:title Automated Reasoning - 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings (xsd:string)
dc:type <http://purl.org/dc/dcmitype/Collection>
rdf:type swrc:Proceedings
rdf:type foaf:Document
swrc:volume 13385 (xsd:string)