SYNASC2021: 23RD INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND NUMERIC ALGORITHMS FOR SCIENTIFIC COMPUTING
Nikolaj Bjorner
Affiliation: Microsoft Research
Web page: http://research.microsoft.com/~nbjorner
Pages in this Program
Program
Program for Wednesday, December 8th