cvb.acronym: ARW 2000
cvb.archive: http://sunsite.informatik.rwth-aachen.de/ftp/pub/publications/CEUR-WS/Vol-32.zip
cvb.ceurpubdate: null
cvb.city: London
cvb.cityWikidataId: Q84
cvb.colocated: null
cvb.country: United Kingdom
cvb.countryWikidataId: Q145
cvb.dateFrom: '2000-07-20'
cvb.dateTo: '2000-07-21'
cvb.desc: ARW 2000
cvb.editors: "Hans J\xFCrgen Ohlbach, Ulrich Endriss, Odinaldo Rodrigues, Stefan Schlobach"
cvb.fromLine: 98009
cvb.h1: Automated Reasoning Workshop 2000
cvb.h3: Proceedings of the Seventh Workshop on Automated Reasoning, Bridging the Gap
  between Theory and Practice, King's College London, UK, 20-21 July 2000
cvb.homepage: null
cvb.loc_city: London
cvb.loc_country: UK
cvb.loc_days: null
cvb.loc_locs: null
cvb.loc_month: July
cvb.loc_other: null
cvb.loc_region: null
cvb.loc_typos: null
cvb.loctime: ' London, UK, July 20-21, 2000'
cvb.number: 32
cvb.pubDate: '2000-08-22T00:00:00'
cvb.published: '2000-08-22'
cvb.seealso: ''
cvb.submittedBy: Ulrich Endriss
cvb.tdtitle: Proceedings of the 7th Workshop on Automated Reasoning, London, UK, July
  20-21, 2000.
cvb.title: Automated Reasoning Workshop 2000
cvb.toLine: 98042
cvb.url: http://ceur-ws.org/Vol-32/
cvb.urn: null
cvb.urn_check_digit: null
cvb.urn_ok: null
cvb.valid: 1
cvb.virtualEvent: null
cvb.vol_number: null
cvb.volname: 'Automated Reasoning Workshop 2000: Bridging the Gap between Theory and
  Practice'
cvb.voltitle: null
cvb.volume_number: null
cvb.year: null
spt.acronym: ARW 2000
spt.date: '2000-08-22'
spt.dblp: conf/arw/2000
spt.description: 'Automated Reasoning Workshop 2000: Bridging the Gap between Theory
  and Practice.'
spt.html_url: /Vol-32.html
spt.k10plus: null
spt.number: 32
spt.title: Automated Reasoning Workshop 2000
spt.url: http://ceur-ws.org/Vol-32/
spt.urn: urn:nbn:de:0074-32-3
spt.wikidataid: Q113502209
version.cm_url: https://github.com/ceurws/ceur-spt
version.version: 0.0.7
wd.URN_NBN: urn:nbn:de:0074-32-3
wd.Volume: null
wd.dblpEventId: conf/arw/arw2000
wd.dblpProceedingsId: conf/arw/2000
wd.described_at_URL: http://ceur-ws.org/Vol-32/
wd.event: http://www.wikidata.org/entity/Q113673827
wd.eventLabel: Automated Reasoning Workshop 2000
wd.eventSeries: ''
wd.eventSeriesLabel: ''
wd.eventSeriesOrdinal: ''
wd.fullWorkUrl: http://ceur-ws.org/Vol-32/
wd.homePage: null
wd.item: http://www.wikidata.org/entity/Q113502209
wd.itemDescription: 'Automated Reasoning Workshop 2000: Bridging the Gap between Theory
  and Practice.'
wd.itemLabel: Proceedings of the 7th Workshop on Automated Reasoning, London, UK,
  July 20-21, 2000.
wd.language_of_work_or_name: http://www.wikidata.org/entity/Q1860
wd.language_of_work_or_nameLabel: English
wd.ppnId: null
wd.publication_date: '2000-08-22T00:00:00'
wd.sVolume: 32
wd.short_name: 'Automated Reasoning Workshop 2000: Bridging the Gap between Theory
  and Practice'
wd.title: Proceedings of the 7th Workshop on Automated Reasoning, London, UK, July
  20-21, 2000.
