Poprzednia strona
Rekrutacja 2022/23
A. Stocka
P-optymalny system dowodowy dla SAT
XV Forum Informatyki Teoretycznej, Białystok, Poland, Dec 7-8, 2001