Poprzednia strona
Rekrutacja 2022/23
A. Gomolińska
Introduction to the Mizar proof-assistant
Third Indian School on Logic and its Applications, Gachibowli, India, Jan 18-29, 2010
University of Hyderabad (org.)
