cvb._sessions: null
cvb.acronym: CILC 2012
cvb.archive: http://sunsite.informatik.rwth-aachen.de/ftp/pub/publications/CEUR-WS/Vol-857.zip
cvb.ceurpubdate: 31-May-2012
cvb.city: Rome
cvb.cityWikidataId: Q220
cvb.colocated: null
cvb.conference: null
cvb.country: Italy
cvb.countryWikidataId: Q38
cvb.date: null
cvb.dateFrom: '2012-06-06'
cvb.dateTo: '2012-06-07'
cvb.desc: '?'
cvb.editors: Francesca A. Lisi
cvb.fromLine: 100729
cvb.fullTitle: null
cvb.h1: CILC 2012 Italian Convention on Computational Logic
cvb.h3: Proceedings of the 9th Italian Convention on Computational Logic
cvb.homepage: http://www.dis.uniroma1.it/%7Ecilc2012/index.html
cvb.lang: null
cvb.location: null
cvb.loctime: Rome, Italy, June 6-7, 2012
cvb.number: 857
cvb.ordinal: null
cvb.pubDate: '2012-05-31T00:00:00'
cvb.pubYear: null
cvb.published: '2012-05-31'
cvb.region: null
cvb.seealso: "Vol-810\u21F9Vol-598"
cvb.submitDate: null
cvb.submittedBy: Francesca A. Lisi
cvb.tdtitle: null
cvb.title: Proceedings of the 9th Italian Convention on Computational Logic
cvb.toLine: 100759
cvb.url: http://ceur-ws.org/Vol-857/
cvb.urn: urn:nbn:de:0074-857-8
cvb.urn_check_digit: 8
cvb.urn_ok: true
cvb.valid: true
cvb.virtualEvent: false
cvb.volname: Italian Convention on Computational Logic 2012
cvb.voltitle: Italian Convention on Computational Logic
cvb.volume_number: Vol-857
cvb.year: 2012
spt.acronym: CILC 2012
spt.date: '2012-05-31'
spt.dblp: conf/cilc/2012
spt.description: Proceedings of CILC 2012 workshop
spt.html_url: /Vol-857.html
spt.k10plus: null
spt.number: 857
spt.title: Proceedings of the 9th Italian Convention on Computational Logic
spt.url: http://ceur-ws.org/Vol-857/
spt.urn: urn:nbn:de:0074-857-8
spt.wikidataid: Q113545217
version.cm_url: https://github.com/ceurws/ceur-spt
version.version: 0.0.7
wd.URN_NBN: urn:nbn:de:0074-857-8
wd.Volume: null
wd.dblpEventId: ''
wd.dblpProceedingsId: conf/cilc/2012
wd.described_at_URL: http://ceur-ws.org/Vol-857/
wd.event: http://www.wikidata.org/entity/Q106338685
wd.eventLabel: 9th Italian Convention on Computational Logic, Rome, Italy, June 6-7,
  2012
wd.eventSeries: http://www.wikidata.org/entity/Q105696183
wd.eventSeriesLabel: Italian Conference on Computational Logic
wd.eventSeriesOrdinal: '9'
wd.fullWorkUrl: http://ceur-ws.org/Vol-857/
wd.homePage: null
wd.item: http://www.wikidata.org/entity/Q113545217
wd.itemDescription: Proceedings of CILC 2012 workshop
wd.itemLabel: Proceedings of the 9th Italian Convention on Computational Logic
wd.language_of_work_or_name: null
wd.language_of_work_or_nameLabel: null
wd.ppnId: null
wd.publication_date: '2012-05-31T00:00:00'
wd.sVolume: 857
wd.short_name: CILC 2012
wd.title: Proceedings of the 9th Italian Convention on Computational Logic
