cvb.acronym: CICM-WS-WIP 2016
cvb.archive: http://sunsite.informatik.rwth-aachen.de/ftp/pub/publications/CEUR-WS/Vol-1785.zip
cvb.ceurpubdate: '2017-01-22'
cvb.city: "Bia\u0142ystok"
cvb.cityWikidataId: Q761
cvb.colocated: CICM 2016
cvb.country: Poland
cvb.countryWikidataId: Q36
cvb.dateFrom: '2016-07-25'
cvb.dateTo: '2016-07-29'
cvb.desc: '?'
cvb.editors: Michael Kohlhase, Andrea Kohlhase, Paul Libbrecht, Bruce Miller, Adam
  Naumowicz, Walther Neuper, Pedro Quaresma, Frank Tompa, Martin Suda
cvb.fromLine: 44014
cvb.h1: CICM-WS-WIP 2016 Workshop and Work in Progress Papers at CICM 2016
cvb.h3: Joint Proceedings of the FM4M, MathUI, and ThEdu Workshops, Doctoral Program,
  and Work in Progress at the Conference on Intelligent Computer Mathematics 2016
  co-located with the 9th Conference on Intelligent Computer Mathematics (CICM 2016)
cvb.homepage: http://cicm-conference.org/2016/
cvb.loc_city: Bialystok
cvb.loc_country: Poland
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: Bialystok, Poland, July 25-29, 2016
cvb.number: 1785
cvb.pubDate: '2017-01-22T00:00:00'
cvb.published: '2017-01-22'
cvb.seealso: "Vol-1186\u21F9Vol-1010\u21F9Vol-921"
cvb.submittedBy: Michael Kohlhase
cvb.tdtitle: Joint Proceedings of the FM4M, MathUI, and ThEdu Workshops, Doctoral
  Program, and Work in Progress at the Conference on Intelligent Computer Mathematics
  (CICM 2016), Bialystok, Poland, July 25-29, 2016.
cvb.title: Joint Proceedings of the FM4M, MathUI, and ThEdu Workshops, Doctoral Program,
  and Work in Progress at the Conference on Intelligent Computer Mathematics 2016
cvb.toLine: 44039
cvb.url: http://ceur-ws.org/Vol-1785/
cvb.urn: urn:nbn:de:0074-1785-8
cvb.urn_check_digit: 8
cvb.urn_ok: 1
cvb.valid: 1
cvb.virtualEvent: null
cvb.vol_number: null
cvb.volname: Workshop and Work in Progress Papers at CICM 2016
cvb.voltitle: Workshop and Work in Progress Papers at CICM 2016
cvb.volume_number: Vol-1785
cvb.year: '2017'
spt.acronym: CICM-WS-WIP 2016
spt.date: '2017-01-22'
spt.dblp: conf/cikm/2016fm4m
spt.description: Proceedings of CICM-WS-WIP 2016 workshop
spt.html_url: /Vol-1785.html
spt.k10plus: '877634580'
spt.number: 1785
spt.title: Joint Proceedings of the FM4M, MathUI, and ThEdu Workshops, Doctoral Program,
  and Work in Progress at the Conference on Intelligent Computer Mathematics 2016
spt.url: http://ceur-ws.org/Vol-1785/
spt.urn: urn:nbn:de:0074-1785-8
spt.wikidataid: Q113544117
version.cm_url: https://github.com/ceurws/ceur-spt
version.version: 0.0.7
wd.URN_NBN: urn:nbn:de:0074-1785-8
wd.Volume: null
wd.dblpEventId: conf/cikm/fm4m2016|conf/cikm/fm4m2016|conf/cikm/fm4m2016|conf/cikm/fm4m2016
wd.dblpProceedingsId: conf/cikm/2016fm4m
wd.described_at_URL: http://ceur-ws.org/Vol-1785/
wd.event: http://www.wikidata.org/entity/Q113637437|http://www.wikidata.org/entity/Q113637454|http://www.wikidata.org/entity/Q113637477|http://www.wikidata.org/entity/Q113637494|http://www.wikidata.org/entity/Q113637618|http://www.wikidata.org/entity/Q113637625
wd.eventLabel: The CICM 2016 Doctoral Program|Workshop on Formal Mathematics for Mathematicians|The
  11th Workshop on Mathematical User Interfaces (MathUI)|The 2016 Workshop on Theorem
  proving components for Educational software (ThEdu)|The Work in Progress Section
  of the MKM track of CICM 2016|The Work in Progress Section of the DML track of CICM
  2016
wd.eventSeries: ''
wd.eventSeriesLabel: ''
wd.eventSeriesOrdinal: ''
wd.fullWorkUrl: http://ceur-ws.org/Vol-1785/
wd.homePage: null
wd.item: http://www.wikidata.org/entity/Q113544117
wd.itemDescription: Proceedings of CICM-WS-WIP 2016 workshop
wd.itemLabel: Joint Proceedings of the FM4M, MathUI, and ThEdu Workshops, Doctoral
  Program, and Work in Progress at the Conference on Intelligent Computer Mathematics
  2016
wd.language_of_work_or_name: null
wd.language_of_work_or_nameLabel: null
wd.ppnId: '877634580'
wd.publication_date: '2017-01-22T00:00:00'
wd.sVolume: 1785
wd.short_name: CICM-WS-WIP 2016
wd.title: Joint Proceedings of the FM4M, MathUI, and ThEdu Workshops, Doctoral Program,
  and Work in Progress at the Conference on Intelligent Computer Mathematics 2016
