SYNASC 2015: 17TH INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND NUMERIC ALGORITHMS FOR SCIENTIFIC COMPUTING
Andrei Voronkov
Organization: The University of Manchester
Web site: http://www.voronkov.com/
Pages in this Program
Conference on Thursday, September 24th
Conference on Tuesday, September 22nd
Conference Program
Program
Program for Thursday, September 24th
Program for Tuesday, September 22nd