cvb.acronym: CILC 2020
cvb.archive: http://sunsite.informatik.rwth-aachen.de/ftp/pub/publications/CEUR-WS/Vol-2710.zip
cvb.ceurpubdate: '2020-10-24'
cvb.city: Rende
cvb.cityWikidataId: Q53946
cvb.colocated: null
cvb.country: Italy
cvb.countryWikidataId: Q38
cvb.dateFrom: '2020-10-13'
cvb.dateTo: '2020-10-15'
cvb.desc: '?'
cvb.editors: Francesco Calimeri, Simona Perri, Ester Zumpano
cvb.fromLine: 19793
cvb.h1: CILC 2020 Proceedings of CILC 2020
cvb.h3: Proceedings of the 35th Italian Conference on Computational Logic - CILC 2020
cvb.homepage: https://cilc2020.demacs.unical.it/
cvb.loc_city: Rende
cvb.loc_country: Italy
cvb.loc_days: null
cvb.loc_locs: null
cvb.loc_month: October
cvb.loc_other: null
cvb.loc_region: null
cvb.loc_typos: null
cvb.loctime: Rende, Italy, October 13-15, 2020
cvb.number: 2710
cvb.pubDate: '2020-10-24T00:00:00'
cvb.published: '2020-10-24'
cvb.seealso: "Vol-2396\u21F9Vol-1949\u21F9Vol-1949\u21F9Vol-1645\u21F9Vol-1459\u21F9\
  Vol-1195\u21F9Vol-1068\u21F9Vol-857\u21F9Vol-810\u21F9Vol-598"
cvb.submittedBy: Francesco Calimeri
cvb.tdtitle: Proceedings of the 35th Italian Conference on Computational Logic (CILC
  2020), Rende, Italy, October 13-15, 2020.
cvb.title: Proceedings of the 35th Italian Conference on Computational Logic - CILC
  2020
cvb.toLine: 19825
cvb.url: http://ceur-ws.org/Vol-2710/
cvb.urn: urn:nbn:de:0074-2710-9
cvb.urn_check_digit: 9
cvb.urn_ok: 1
cvb.valid: 1
cvb.virtualEvent: null
cvb.vol_number: null
cvb.volname: Italian Conference on Computational Logic 2020
cvb.voltitle: Proceedings of CILC 2020
cvb.volume_number: Vol-2710
cvb.year: '2020'
spt.acronym: CILC 2020
spt.date: '2020-10-24'
spt.dblp: conf/cilc/2020
spt.description: Proceedings of CILC 2020 workshop
spt.html_url: /Vol-2710.html
spt.k10plus: '1744650535'
spt.number: 2710
spt.title: Proceedings of the 35th Italian Conference on Computational Logic - CILC
  2020
spt.url: http://ceur-ws.org/Vol-2710/
spt.urn: urn:nbn:de:0074-2710-9
spt.wikidataid: Q113542462
version.cm_url: https://github.com/ceurws/ceur-spt
version.version: 0.0.7
wd.URN_NBN: urn:nbn:de:0074-2710-9
wd.Volume: null
wd.dblpEventId: conf/cilc/cilc2020
wd.dblpProceedingsId: conf/cilc/2020
wd.described_at_URL: http://ceur-ws.org/Vol-2710/
wd.event: http://www.wikidata.org/entity/Q113582013
wd.eventLabel: 35th Italian Conference on Computational Logic - CILC 2020
wd.eventSeries: http://www.wikidata.org/entity/Q105696183
wd.eventSeriesLabel: Italian Conference on Computational Logic
wd.eventSeriesOrdinal: '35'
wd.fullWorkUrl: http://ceur-ws.org/Vol-2710/
wd.homePage: null
wd.item: http://www.wikidata.org/entity/Q113542462
wd.itemDescription: Proceedings of CILC 2020 workshop
wd.itemLabel: Proceedings of the 35th Italian Conference on Computational Logic -
  CILC 2020
wd.language_of_work_or_name: null
wd.language_of_work_or_nameLabel: null
wd.ppnId: '1744650535'
wd.publication_date: '2020-10-24T00:00:00'
wd.sVolume: 2710
wd.short_name: CILC 2020
wd.title: Proceedings of the 35th Italian Conference on Computational Logic - CILC
  2020
