This page shows all presentations of this author published in EasyChair Smart Slide.
Automated Theorem Proving in a Chat Environment
Rustam Zhumagambetov and Mark Sterling