Poprzednia strona
Rekrutacja 2022/23
B. Pietruczuk
Mizar in Isabelle for Formal Abstracts
3rd Conference on Artificial Intelligence and Theorem Proving, Aussois, France, Mar 25-30, 2018
University of Innsbruck (org.)
