Počet záznamů: 1
On methods for proving lower bounds in propositional logic
SYS 0174440 LBL 00000nam^^22^^^^^^^^450 005 20240103175202.4 101 0-
$a eng 102 $a NL 200 1-
$a On methods for proving lower bounds in propositional logic 463 -1
$1 200 1 $a Logic and Scientific Methods $v s. 69-83 $i Proceedings of the Tenth International Congress of Logic, Methodology and Philosophy of Science $h 1 $1 702 1 $a Dalla Chiara $b M. L. $4 340 $1 210 $a Dordrecht $c Kluwer Academic Publ. $d 1997 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