Výsledky vyhledávání

Nalezeno záznamů: 2  
Váš dotaz: Autor-kód záznamu + druh.dok = "^cav_un_auth 0010983 za^"
    1.
    0405390 - UIVT-O 330762 GR eng A - Abstrakt
    Horčík, Rostislav
    Structure of Commutative Cancellative Residuated l-monoids in [0,1].
    Residuated Structures and Many-Valued Logics. Patras: University of Patras, 2004. s. 1-2.
    [Residuated Structures and Many-Valued Logics. 02.06.2004-05.06.2004, Patras]
    Grant CEP: GA ČR ga201/02/1540; GA ČR GD401/03/H047
    Grant ostatní: Net CEEPUS SK-042
    Kód oboru RIV: BA - Obecná matematika
    Trvalý link: http://hdl.handle.net/11104/0125560
     
     
    2.
    0405322 - UIVT-O 330693 AT eng A - Abstrakt
    Bodenhofer, U. - Běhounek, Libor - Cintula, Petr
    Relations in Higher-order Fuzzy Logic III.
    Fuzzy Logics and Related Structures. Linz: Johannes Kepler Universität, 2005 - (Gottwald, S.; Hájek, P.; Höhle, U.; Klement, E.). s. 20-22
    [Linz Seminar on Fuzzy Set Theory /26./. 01.02.2005-05.02.2005, Linz]
    Grant CEP: GA MŠMT OC 274.001; GA AV ČR KJB100300502; GA ČR GD401/03/H047
    Grant ostatní: COST(XE) Action 274 TARSKI
    Výzkumný záměr: CEZ:AV0Z10300504
    Zdroj financování: V - jiné veřejné zdroje
    Klíčová slova: formal fuzzy logic * fuzzy set * foundations of fuzzy mathematics * LPi logic * higher-order fuzzy logic * fuzzy type theory * multi-sorted fuzzy logic
    Kód oboru RIV: BA - Obecná matematika
    Trvalý link: http://hdl.handle.net/11104/0125495
     
     


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

Přijmout všeNastaveníOdmítnout vše