Logic in Computer Science, Engineering and Industry

4,179 views · Published 10 November 2016 · 33:36 · Indexed 19 October 2026

Channel: Simons Institute for the Theory of Computing · 2016 · Education

Watch on YouTube

Yuri Gurevich, Microsoft Research
https://simons.berkeley.edu/talks/yuri-gurevich-11-10-2016
{Symmetry, Logic, Computation}

More from this channel