Počet záznamů: 1
Proof Complexity and Feasible Arithmetic
SYS 0174516 LBL 00000nam^^22^^^^^^^^450 005 20240103175207.6 101 0-
$a eng 102 $a US 200 1-
$a Algebraic models of computation and interpolation for algebraic proof systems 215 $a 296 s. 463 -1
$1 200 1 $a Proof Complexity and Feasible Arithmetic $v s. 279-296 $1 702 1 $a Buss $b S.R. $4 340 $1 210 $a New York $c AMS $d 1998 $1 225 1 $a DIMACS Series in Discrete Mathematics and Theoretical Computer Science $v 39 700 -1
$3 cav_un_auth*0100699 $a Pudlák $b Pavel $p MU-W $w Mathematical Logic and Theoretical Computer Science $4 070 $T Matematický ústav AV ČR, v. v. i. 701 -1
$3 cav_un_auth*0100708 $a Sgall $b Jiří $p MU-W $4 070 $T Matematický ústav AV ČR, v. v. i.
Počet záznamů: 1