CICM-13: 13TH CONFERENCE ON INTELLIGENT COMPUTER MATHEMATICS
Freek Wiedijk
Affiliation: Radboud University Nijmegen
Web page: http://www.cs.ru.nl/~freek/
Pages in this Program
Program
Program for Thursday, July 30th