Počet záznamů: 1  

NCMPL 2011 Abstracts

  1. SYS0374836
    LBL
      
    00796^^^^^2200217^^^450
    005
      
    20240103200644.2
    010
      
    $a 987-80-87465-00-4
    100
      
    $a 20120220d m y slo 03 ba
    101
    0-
    $a eng
    102
      
    $a CZ
    200
    1-
    $a NCMPL 2011 Abstracts
    210
      
    $a Prague $c F solutions $d 2011
    215
      
    $a 145 s.
    610
    0-
    $a non-classical logic
    610
    0-
    $a predicate logic
    610
    0-
    $a modal logic
    610
    0-
    $a intuitionistic logic
    610
    0-
    $a substructural logic
    610
    0-
    $a relevant logic
    610
    0-
    $a fuzzy logic
    610
    0-
    $a non-classical mathematics
    700
    -1
    $3 cav_un_auth*0100737 $a Cintula $b Petr $i Oddělení teoretické informatiky $j Department of Theoretical Computer Science $p UIVT-O $w Department of Theoretical Computer Science $4 340 $T Ústav informatiky AV ČR, v. v. i.
    701
    -1
    $3 cav_un_auth*0279931 $a Ju $b S. $y CN $4 340
    701
    -1
    $3 cav_un_auth*0273693 $a Víta $b Martin $i Oddělení teoretické informatiky $j Department of Theoretical Computer Science $p UIVT-O $4 340 $T Ústav informatiky AV ČR, v. v. i.
Počet záznamů: 1  

  Tyto stránky využívají soubory cookies, které usnadňují jejich prohlížení. Další informace o tom jak používáme cookies.