Mini-Course: An Introduction to Automatic Theorem-Proving in Mathematics
  • Trang chủ
  • Mini-Course: An Introduction to Automatic Theorem-Proving in Mathematics

Lecturer

  • Bartosz Naskrecki, Adam Mickiewicz University, Poland.

Homepage: https://bnaskrecki.faculty.wmi.amu.edu.pl/doku.php