CICM-13: 13TH CONFERENCE ON INTELLIGENT COMPUTER MATHEMATICS
Michael Kohlhase
Affiliation: Computer Science, FAU Erlangen-N├╝rnberg
Web page: http://kwarc.info/kohlhase
Pages in this Program
Program
Program for Monday, July 27th
Program for Thursday, July 30th
Program for Tuesday, July 28th