Počet záznamů: 1
The Placeholder View of Assumptions and the Curry–Howard Correspondence (Extended Abstract)
SYS 0546967 LBL 01000a^^22220027750^450 005 20231122150024.2 014 $a 85118158992 $2 SCOPUS 014 $a 000754548600031 $2 WOS 017 $a 10.1007/978-3-030-89391-0_31 $2 DOI 100 $a 20211021d m y slo 03 ba 101 $a eng $d eng 102 $a DE 200 1-
$a The Placeholder View of Assumptions and the Curry–Howard Correspondence (Extended Abstract) 215 $a 8 s. $c P 463 -1
$1 001 cav_un_epca*0546966 $1 010 $a 978-3-030-89390-3 $1 200 1 $a Logic and Argumentation: 4th International Conference, CLAR 2021, Hangzhou, China, October 20–22, 2021, Proceedings $v S. 513-520 $1 210 $a Cham $c Springer $d 2021 $1 225 $a Lecture Notes in Artificial Intelligence $v 13040 $1 702 1 $a Baroni $b Pietro $4 340 $1 702 1 $a Benzmüller $b Christoph $4 340 $1 702 1 $a Wáng $b Yὶ N. $4 340 610 $a Placeholder view of assumptions 610 $a Assumption withdrawing 610 $a Curry–Howard correspondence 610 $a Natural deduction 610 $a Intuitionistic propositional logic 700 -1
$3 cav_un_auth*0356824 $a Pezlar $b Ivo $p FLU-F $i Kabinet pro studium vědy, techniky a společnosti $j Centre for Science, Technology, and Society Studies $w Centre for Science, Technology, and Society Studies $y CZ $4 070 $T Filosofický ústav AV ČR, v. v. i. 856 $u https://doi.org/10.1007/978-3-030-89391-0_31
Počet záznamů: 1