Signin

What are the prospects for automatic theorem proving?

Microsoft Research • October 7, 2016
Video Thumbnail

You May Also Like

Microsoft Research

View Channel

About

No channel description available.

Latest Posts

Video Thumbnail

Quantum Computing for Computer Scientists

Microsoft Research

Video Thumbnail

Leaders Eat Last : Why Some Teams Pull Together and Others Don't

Microsoft Research

Video Thumbnail

Outliers: Why Some People Succeed and Some Don't

Microsoft Research

Video Thumbnail

Mathematical Trading Strategies

Microsoft Research

AI Assistant

Loading...