Počet záznamů: 1
A ground many-valued type theory and its extensions
SYS 0427494 LBL 00937^^^^^2200205^^^450 005 20240103204141.8 100 $a 20140407d m y slo 03 ba 101 0-
$a eng 102 $a AT 200 1-
$a A ground many-valued type theory and its extensions 215 $a 4 s. 463 -1
$1 001 cav_un_epca*0427492 $1 200 1 $a Graded Logical Approaches and Their Applications $f red. T. Flaminio, L. Godo, S. Gottwald, E.P. Klement $v S. 15-18 $1 210 $a Linz $c Johannes Kepler Universität $d 2014 $1 702 1 $a Flaminio $b T. $4 340 $1 702 1 $a Godo $b L. $4 340 $1 702 1 $a Gottwald $b S. $4 340 $1 702 1 $a Klement $b E.P. $4 340 610 0-
$a type theory 610 0-
$a many-valued logics 610 0-
$a higher-order logic 610 0-
$a teorie typů 610 0-
$a vícehodnotové logiky 610 0-
$a logika vyššího řádu 700 -1
$3 cav_un_auth*0107898 $a Běhounek $b Libor $i Oddělení teoretické informatiky $j Department of Theoretical Computer Science $p UIVT-O $w Department of Theoretical Computer Science $4 070 $T Ústav informatiky AV ČR, v. v. i.
Počet záznamů: 1