Počet záznamů: 1
Prague Bounded Arithmetic Workshop 2017
SYS 0488110 LBL 01000a^^22220027750^450 005 20240103215809.1 100 $a 20180314d m y slo 03 ba 101 $a eng $d eng 200 1-
$a Prague Bounded Arithmetic Workshop 2017 610 $a logic 610 $a bounded arithmetic 610 $a computational complexity 700 -1
$3 cav_un_auth*0246710 $i Matematická logika a teoretická informatika $j Mathematical Logic and Theoretical Computer Science $l MLTCS $w Mathematical Logic and Theoretical Computer Science $4 070 $a Thapen $b Neil $p MU-W $y CZ $T Matematický ústav AV ČR, v. v. i. 701 -1
$3 cav_un_auth*0100699 $i Matematická logika a teoretická informatika $j Mathematical Logic and Theoretical Computer Science $l MLTCS $w Mathematical Logic and Theoretical Computer Science $4 070 $a Pudlák $b Pavel $p MU-W $y CZ $T Matematický ústav AV ČR, v. v. i. 856 $u https://calendar.math.cas.cz/content/prague-bounded-arithmetic-workshop-2017
Počet záznamů: 1