Poprzednia strona
Rekrutacja 2022/23
B. Kwaśniewski
Satisfiability of formulas as object classification
16th International Workshop on Concurrency, Specification and Programming, Łagów, Poland, Sep 27-29, 2007
Humboldt University, Warsaw University (org.)
