Počet záznamů: 1
Meaning and Computing: Two Approaches to Computable Propositions
SYS 0546956 LBL 01000a^^22220027750^450 005 20231122150023.5 014 $a 85117449422 $2 SCOPUS 017 $a 10.1007/978-3-030-88853-4_7 $2 DOI 100 $a 20211021d m y slo 03 ba 101 $a eng $d eng 102 $a DE 200 1-
$a Meaning and Computing: Two Approaches to Computable Propositions 215 $a 17 s. $c P 463 -1
$1 001 cav_un_epca*0546955 $1 010 $a 978-3-030-88852-7 $1 010 $a 978-3-030-88853-4 $1 200 1 $a Logic, Language, Information, and Computation $i 27th International Workshop, WoLLIC 2021, Virtual Event, October 5–8, 2021, Proceedings $v S. 100-116 $1 210 $a Cham $c Springer $d 2021 $1 225 $a Lecture Notes in Computer Science $v 13038 $1 702 1 $a Silva $b Alexandra $4 340 $1 702 1 $a Wassermann $b Renata $4 340 $1 702 1 $a de Queiroz $b Ruy $4 340 610 $a computable proposition 610 $a sense–denotation distinction 610 $a algorithmic theory of meaning 610 $a procedural semantics 610 $a constructive type theory 610 $a transparent intensional 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-88853-4_7 $9 RIV
Počet záznamů: 1