cvb.acronym: KEAPPA
cvb.archive: http://sunsite.informatik.rwth-aachen.de/ftp/pub/publications/CEUR-WS/Vol-418.zip
cvb.ceurpubdate: null
cvb.city: Doha
cvb.cityWikidataId: Q3861
cvb.colocated: null
cvb.country: Qatar
cvb.countryWikidataId: Q846
cvb.dateFrom: '2008-11-22'
cvb.dateTo: '2008-11-22'
cvb.desc: '?'
cvb.editors: Piotr Rudnick, Geoff Sutcliffe, Boris Konev, Renate Schmidt, Stephan
  Schulz
cvb.fromLine: 81704
cvb.h1: 'The LPAR 2008 Workshops: KEAPPA and IWIL 2008: Knowledge Exchange: Automated
  Provers and Proof Assistants The 7th International Workshop on the Implementation
  of Logics'
cvb.h3: 'Proceedings of the LPAR 2008 Workshops Knowledge Exchange: Automated Provers
  and Proof Assistants, and The 7th International Workshop on the Implementation of
  Logics Doha, Qatar, November 22, 2008'
cvb.homepage: http://www.cs.ualberta.ca/~piotr/KEAPPA08/
cvb.loc_city: Doha
cvb.loc_country: Qatar
cvb.loc_days: '22'
cvb.loc_locs: null
cvb.loc_month: November
cvb.loc_other: of
cvb.loc_region: null
cvb.loc_typos: null
cvb.loctime: ' and The 7th International Workshop on the Implementation of Logics
  (IWIL 2008), Doha, Qatar, November 22, 2008'
cvb.number: 418
cvb.pubDate: '2008-11-17T00:00:00'
cvb.published: '2008-11-17'
cvb.seealso: ''
cvb.submittedBy: Geoff Sutcliffe
cvb.tdtitle: 'Proceedings of the LPAR 2008 Workshops: Knowledge Exchange: Automated
  Provers and Proof Assistants (KEAPPA), and The 7th International Workshop on the
  Implementation of Logics (IWIL 2008), Doha, Qatar, November 22, 2008.'
cvb.title: 'The LPAR 2008 Workshops: KEAPPA and IWIL 2008: Knowledge Exchange: Automated
  Provers and Proof Assistants The 7th International Workshop on the Implementation
  of Logics'
cvb.toLine: 81741
cvb.url: http://ceur-ws.org/Vol-418/
cvb.urn: null
cvb.urn_check_digit: null
cvb.urn_ok: null
cvb.valid: 1
cvb.virtualEvent: null
cvb.vol_number: null
cvb.volname: 'The LPAR 2008 Workshops: KEAPPA and IWIL 2008'
cvb.voltitle: null
cvb.volume_number: null
cvb.year: null
spt.acronym: KEAPPA
spt.date: '2008-11-17'
spt.dblp: conf/lpar/2008w
spt.description: Proceedings of KEAPPA workshop
spt.html_url: /Vol-418.html
spt.k10plus: null
spt.number: 418
spt.title: 'The LPAR 2008 Workshops: KEAPPA and IWIL 2008: Knowledge Exchange: Automated
  Provers and Proof Assistants The 7th International Workshop on the Implementation
  of Logics'
spt.url: http://ceur-ws.org/Vol-418/
spt.urn: urn:nbn:de:0074-418-5
spt.wikidataid: Q113545722
version.cm_url: https://github.com/ceurws/ceur-spt
version.version: 0.0.7
wd.URN_NBN: urn:nbn:de:0074-418-5
wd.Volume: null
wd.dblpEventId: conf/lpar/lpar2008w|conf/lpar/lpar2008w
wd.dblpProceedingsId: conf/lpar/2008w
wd.described_at_URL: http://ceur-ws.org/Vol-418/
wd.event: http://www.wikidata.org/entity/Q113672709|http://www.wikidata.org/entity/Q113672769
wd.eventLabel: 'Workshop on Knowledge Exchange: Automated Provers and Proof Assistants|The
  7th International Workshop on the Implementation of Logics'
wd.eventSeries: ''
wd.eventSeriesLabel: ''
wd.eventSeriesOrdinal: ''
wd.fullWorkUrl: http://ceur-ws.org/Vol-418/
wd.homePage: null
wd.item: http://www.wikidata.org/entity/Q113545722
wd.itemDescription: Proceedings of KEAPPA workshop
wd.itemLabel: 'The LPAR 2008 Workshops: KEAPPA and IWIL 2008: Knowledge Exchange:
  Automated Provers and Proof Assistants The 7th International Workshop on the Implementation
  of Logics'
wd.language_of_work_or_name: null
wd.language_of_work_or_nameLabel: null
wd.ppnId: null
wd.publication_date: '2008-11-17T00:00:00'
wd.sVolume: 418
wd.short_name: KEAPPA
wd.title: 'The LPAR 2008 Workshops: KEAPPA and IWIL 2008: Knowledge Exchange: Automated
  Provers and Proof Assistants The 7th International Workshop on the Implementation
  of Logics'
