LINKING
RESEARCH
GLOBALLY
GCAI 2016 / 2nd Global Conference on Artificial Intelligence
Nikolaj Bjorner
Organization: Microsoft Research
Web page: http://research.microsoft.com/~nbjorner
Pages in this Program
Accepted Papers
Accepted Papers with Abstracts
Program
Program for Friday, September 30th, 2016