SYNASC2021: 23RD INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND NUMERIC ALGORITHMS FOR SCIENTIFIC COMPUTING
PROGRAM
AUTHORS
KEYWORDS
SLIDES
Nikolaj Bjorner
Affiliation:
Microsoft Research
Web page:
http://research.microsoft.com/~nbjorner
Pages in this Program
Program
Program for Wednesday, December 8th
Disclaimer
|
Powered by EasyChair Smart Program