[RDF data]
Home | Example Publications
PropertyValue
dcterms:bibliographicCitation <http://dblp.uni-trier.de/rec/bibtex/conf/cilc/2010>
dc:creator <https://dblp.l3s.de/d2r/resource/authors/Nicola_Leone>
dc:creator <https://dblp.l3s.de/d2r/resource/authors/Wolfgang_Faber_0001>
swrc:editor <https://dblp.l3s.de/d2r/resource/authors/Nicola_Leone>
swrc:editor <https://dblp.l3s.de/d2r/resource/authors/Wolfgang_Faber_0001>
foaf:homepage <https://ceur-ws.org/Vol-598>
dc:identifier DBLP conf/cilc/2010 (xsd:string)
dcterms:issued 2010 (xsd:gYear)
rdfs:label Proceedings of the 25th Italian Conference on Computational Logic, Rende, Italy, July 7-9, 2010 (xsd:string)
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/cilc/AlbertiGL10>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/cilc/BaldoniBM10>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/cilc/BellodiRL10>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/cilc/BistarelliPS10>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/cilc/BozzanoLMM10>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/cilc/CantoneAO10>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/cilc/CantoneLA10>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/cilc/CostantiniP10>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/cilc/DovierFP10>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/cilc/FebbraroRR10>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/cilc/FioravantiPPS10>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/cilc/GenoveseGGP10>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/cilc/GiordanoGOP10>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/cilc/GiordanoMD10>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/cilc/GrassoILRS10>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/cilc/MannaRT10>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/cilc/MeleSV10>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/cilc/PaluDFP10>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/cilc/PerriRS10>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/cilc/PettorossiPS10>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/cilc/RiguzziS10>
dc:publisher CEUR-WS.org (xsd:string)
owl:sameAs <http://bibsonomy.org/uri/bibtexkey/conf/cilc/2010/dblp>
owl:sameAs <http://dblp.rkbexplorer.com/id/conf/cilc/2010>
rdfs:seeAlso <https://ceur-ws.org/Vol-598>
swrc:series <https://dblp.l3s.de/d2r/resource/conferences/cilc>
dcterms:tableOfContent <http://dblp.uni-trier.de/db/conf/cilc/cilc2010.html>
dc:title Proceedings of the 25th Italian Conference on Computational Logic, Rende, Italy, July 7-9, 2010 (xsd:string)
dc:type <http://purl.org/dc/dcmitype/Collection>
rdf:type swrc:Proceedings
rdf:type foaf:Document
swrc:volume 598 (xsd:string)