CEPEK Ondrej について
Charles Univ., Praha, CZE について
KUCERA Petr について
Charles Univ., Praha, CZE について
CEPEK Ondrej について
Inst. of Finance and Administration, Praha, CZE について
SAVICKY Petr について
Inst. of Computer Sci., Acad. of Sci. of the Czech Republic, Prague 8, CZE について
Discrete Applied Mathematics について
CNF について
複雑さ について
認可 について
ブール関数 について