2020 North American Annual Meeting of the Association for Symbolic Logic
University of California, Irvine
March 25-28, 2020
Негізгі бет Фильм және анимация The Mechanization of Mathematics - Jeremy Avigad
2020 North American Annual Meeting of the Association for Symbolic Logic
University of California, Irvine
March 25-28, 2020
Пікірлер