SCSS 2014: 6TH INTERNATIONAL SYMPOSIUM ON SYMBOLIC COMPUTATION IN SOFTWARE SCIENCE
Andrei Voronkov
Organization: University of Manchester
Web site: http://www.voronkov.com/
Pages in this Program
Program
Program for Sunday, December 7th