Počet záznamů: 1
Propositional proofs, proofs of membership in polynomial ideals, and their complexity
SYS 0174443 LBL 00000nam^^22^^^^^^^^450 005 20240103175202.6 101 0-
$a eng 102 $a IL 200 1-
$a Propositional proofs, proofs of membership in polynomial ideals, and their complexity 463 -1
$1 001 cav_un_epca*0293956 $1 200 1 $a Bulletin of the ASL $v Roč. 3, č. 1 (1997), s. 77-78 700 -1
$3 cav_un_auth*0100670 $a Krajíček $b Jan $p MU-W $4 070 $T Matematický ústav AV ČR, v. v. i.
Počet záznamů: 1