CICM 2021: 14TH CONFERENCE ON INTELLIGENT COMPUTER MATHEMATICS
Michael Kohlhase
Affiliation: FAU Erlangen Nürnberg,
Web page: http://kwarc.info/kohlhase
Pages in this Program
Program
Program for Friday, July 30th
Program for Saturday, July 31st
Program for Wednesday, July 28th