cvb.acronym: PAAR 2022
cvb.archive: http://sunsite.informatik.rwth-aachen.de/ftp/pub/publications/CEUR-WS/Vol-3201.zip
cvb.ceurpubdate: '2022-08-31'
cvb.city: Haifa
cvb.cityWikidataId: Q41621
cvb.colocated: FLoC/IJCAR 2022
cvb.country: Israel
cvb.countryWikidataId: Q801
cvb.dateFrom: '2022-08-11'
cvb.dateTo: '2022-08-12'
cvb.desc: '?'
cvb.editors: Boris Konev, Claudia Schon, Alexander Steen
cvb.fromLine: 9107
cvb.h1: PAAR 2022 Practical Aspects of Automated Reasoning 2022
cvb.h3: Proceedings of the Workshop on Practical Aspects of Automated Reasoning Co-located
  with the 11th International Joint Conference on Automated Reasoning (FLoC/IJCAR
  2022)
cvb.homepage: https://paar2022.github.io/
cvb.loc_city: Haifa
cvb.loc_country: Israel
cvb.loc_days: '12'
cvb.loc_locs: null
cvb.loc_month: August
cvb.loc_other: '-'
cvb.loc_region: null
cvb.loc_typos: null
cvb.loctime: Haifa, Israel, August, 11 - 12, 2022
cvb.number: 3201
cvb.pubDate: '2022-08-31T00:00:00'
cvb.published: '2022-08-31'
cvb.seealso: "Vol-2752\u21F9Vol-2162\u21F9Vol-1635\u21F9Vol-373"
cvb.submittedBy: Claudia Schon
cvb.tdtitle: Proceedings of the Workshop on Practical Aspects of Automated Reasoning
  (PAAR 2022),Haifa, Israel, August, 11 - 12, 2022.
cvb.title: Proceedings of the Workshop on Practical Aspects of Automated Reasoning
cvb.toLine: 9129
cvb.url: http://ceur-ws.org/Vol-3201/
cvb.urn: urn:nbn:de:0074-3201-6
cvb.urn_check_digit: 6
cvb.urn_ok: 1
cvb.valid: 1
cvb.virtualEvent: null
cvb.vol_number: null
cvb.volname: Practical Aspects of Automated Reasoning 2022
cvb.voltitle: Practical Aspects of Automated Reasoning 2022
cvb.volume_number: Vol-3201
cvb.year: '2022'
spt.acronym: PAAR 2022
spt.date: '2022-08-31'
spt.dblp: conf/paar/2022
spt.description: Proceedings of PAAR 2022 workshop
spt.html_url: /Vol-3201.html
spt.k10plus: '1821113942'
spt.number: 3201
spt.title: Proceedings of the Workshop on Practical Aspects of Automated Reasoning
spt.url: http://ceur-ws.org/Vol-3201/
spt.urn: urn:nbn:de:0074-3201-6
spt.wikidataid: Q113708447
version.cm_url: https://github.com/ceurws/ceur-spt
version.version: 0.0.7
wd.URN_NBN: urn:nbn:de:0074-3201-6
wd.Volume: null
wd.dblpEventId: ''
wd.dblpProceedingsId: conf/paar/2022
wd.described_at_URL: http://ceur-ws.org/Vol-3201/
wd.event: http://www.wikidata.org/entity/Q113729252
wd.eventLabel: Workshop on Practical Aspects of Automated Reasoning
wd.eventSeries: ''
wd.eventSeriesLabel: ''
wd.eventSeriesOrdinal: ''
wd.fullWorkUrl: http://ceur-ws.org/Vol-3201/
wd.homePage: null
wd.item: http://www.wikidata.org/entity/Q113708447
wd.itemDescription: Proceedings of PAAR 2022 workshop
wd.itemLabel: Proceedings of the Workshop on Practical Aspects of Automated Reasoning
wd.language_of_work_or_name: null
wd.language_of_work_or_nameLabel: null
wd.ppnId: '1821113942'
wd.publication_date: '2022-08-31T00:00:00'
wd.sVolume: 3201
wd.short_name: PAAR 2022
wd.title: Proceedings of the Workshop on Practical Aspects of Automated Reasoning
