Počet záznamů: 1
A proof complexity generator
SYS 0353760 LBL 01165^^^^^2200229^^^450 005 20240103194552.9 100 $a 20110110d m y slo 03 ba 101 0-
$a eng $d eng 102 $a GB 200 1-
$a A proof complexity generator 215 $a 6 s. 463 -1
$1 001 cav_un_epca*0353759 $1 010 $a 978-1-904987-45-1 $1 200 1 $a Logic, Methodology and Philosophy of Science $v S. 185-190 $1 210 $a London $c College Publications $d 2009 $1 702 1 $a Glymour $b C. $4 340 $1 702 1 $a Wang $b W. $4 340 $1 702 1 $a Westerstahl $b D. $4 340 610 0-
$a proof complexity 610 0-
$a hard tatologies 700 -1
$3 cav_un_auth*0100670 $a Krajíček $b Jan $i Matematická logika a teoretická informatika $j Mathematical Logic and Theoretical Computer Science $l MLTCS $p MU-W $4 070 $T Matematický ústav AV ČR, v. v. i.
Počet záznamů: 1