SYNASC 2015: 17TH INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND NUMERIC ALGORITHMS FOR SCIENTIFIC COMPUTING
Nikolaj Bjorner
Organization: Microsoft Research
Web site: http://research.microsoft.com/~nbjorner
Pages in this Program
Conference on Tuesday, September 22nd
Conference Program
Program
Program for Tuesday, September 22nd