cvb.acronym: Bridging 2015
cvb.archive: http://sunsite.informatik.rwth-aachen.de/ftp/pub/publications/CEUR-WS/Vol-1412.zip
cvb.ceurpubdate: '2015-07-27'
cvb.city: Berlin
cvb.cityWikidataId: Q64
cvb.colocated: CADE-25
cvb.country: Germany
cvb.countryWikidataId: Q183
cvb.dateFrom: '2015-08-01'
cvb.dateTo: '2015-08-01'
cvb.desc: '?'
cvb.editors: Ulrich Furbach, Claudia Schon
cvb.fromLine: 54214
cvb.h1: Bridging 2015 Bridging the Gap between Human and Automated Reasoning
cvb.h3: Proceedings of the Workshop on Bridging the Gap between Human and Automated
  Reasoning A workshop of the 25th International Conference on Automated Deduction
  (CADE-25)
cvb.homepage: http://ratiolog.uni-koblenz.de/bridging.html
cvb.loc_city: Berlin
cvb.loc_country: Germany
cvb.loc_days: '1'
cvb.loc_locs: null
cvb.loc_month: August
cvb.loc_other: null
cvb.loc_region: null
cvb.loc_typos: null
cvb.loctime: Berlin, Germany, August 1, 2015
cvb.number: 1412
cvb.pubDate: '2015-07-27T00:00:00'
cvb.published: '2015-07-27'
cvb.seealso: ''
cvb.submittedBy: Claudia Schon
cvb.tdtitle: Proceedings of the Workshop on Bridging the Gap between Human and Automated
  Reasoning, Berlin, Germany, August 1, 2015.
cvb.title: Proceedings of the Workshop on Bridging the Gap between Human and Automated
  Reasoning
cvb.toLine: 54237
cvb.url: http://ceur-ws.org/Vol-1412/
cvb.urn: urn:nbn:de:0074-1412-3
cvb.urn_check_digit: 3
cvb.urn_ok: 1
cvb.valid: 1
cvb.virtualEvent: null
cvb.vol_number: null
cvb.volname: Bridging the Gap between Human and Automated Reasoning 2015
cvb.voltitle: Bridging the Gap between Human and Automated Reasoning
cvb.volume_number: Vol-1412
cvb.year: '2015'
spt.acronym: Bridging 2015
spt.date: '2015-07-27'
spt.dblp: conf/cade/2015bridging
spt.description: Proceedings of Bridging 2015 workshop
spt.html_url: /Vol-1412.html
spt.k10plus: '1020043822'
spt.number: 1412
spt.title: Proceedings of the Workshop on Bridging the Gap between Human and Automated
  Reasoning
spt.url: http://ceur-ws.org/Vol-1412/
spt.urn: urn:nbn:de:0074-1412-3
spt.wikidataid: Q113544613
version.cm_url: https://github.com/ceurws/ceur-spt
version.version: 0.0.7
wd.URN_NBN: urn:nbn:de:0074-1412-3
wd.Volume: null
wd.dblpEventId: conf/cade/bridging2015
wd.dblpProceedingsId: conf/cade/2015bridging
wd.described_at_URL: http://ceur-ws.org/Vol-1412/
wd.event: http://www.wikidata.org/entity/Q113646319
wd.eventLabel: 1st Workshop on Bridging the Gap between Human and Automated Reasoning
wd.eventSeries: http://www.wikidata.org/entity/Q113646198
wd.eventSeriesLabel: Workshop on Bridging the Gap between Human and Automated Reasoning
wd.eventSeriesOrdinal: '1'
wd.fullWorkUrl: http://ceur-ws.org/Vol-1412/
wd.homePage: null
wd.item: http://www.wikidata.org/entity/Q113544613
wd.itemDescription: Proceedings of Bridging 2015 workshop
wd.itemLabel: Proceedings of the Workshop on Bridging the Gap between Human and Automated
  Reasoning
wd.language_of_work_or_name: null
wd.language_of_work_or_nameLabel: null
wd.ppnId: '1020043822'
wd.publication_date: '2015-07-27T00:00:00'
wd.sVolume: 1412
wd.short_name: Bridging 2015
wd.title: Proceedings of the Workshop on Bridging the Gap between Human and Automated
  Reasoning
