Počet záznamů: 1
Twelve Problems in Proof Complexity
SYS 0321832 LBL 01455^^^^^2200301^^^450 005 20240103191348.3 014 $a 000256351100004 $2 WOS 100 $a 20090422d m y slo 03 ba 101 0-
$a eng $d eng $d cze 102 $a DE 200 1-
$a Twelve Problems in Proof Complexity 215 $a 17 s. 300 $a 1M002162080 463 -1
$1 001 cav_un_epca*0321831 $1 010 $a 978-3-540-79708-1 $1 200 1 $a Computer Science - Theory and Applications $v S. 11-27 $1 210 $a Berlin $c Springer $d 2008 $1 702 1 $a Hirsch $b E. $4 340 $1 702 1 $a Razborov $b A.A. $4 340 $1 702 1 $a Semenov $b A. $4 340 $1 702 1 $a Slissenko $b A. $4 340 541 1-
$a Dvanáct problémů v důkazové složitosti $z cze 610 0-
$a computational complexity 610 0-
$a bounded arithmetic 610 0-
$a propositional calculus 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.
Počet záznamů: 1