Poprzednia strona
Rekrutacja 2022/23
A. Dobrogowska
Computer - Assisted Lattice Theory Exploration in Mizar
Small TYPES Workshop: High Level Languages for Proofs, Chambery, France, Apr 13-14, 2005
LAMA, Department of Mathematics of the Savoie University (org.)