LINKING
RESEARCH
GLOBALLY
GCAI 2017 / 3rd Global Conference on Artificial Intelligence
Nikolaj Bjorner
Organization: Microsoft
Web page: http://research.microsoft.com/~nbjorner
Pages in this Program
Program
Program for Friday, October 20th