Počet záznamů: 1  

Almost (MP)-based Substructural Logics

    1.
    SYSNO ASEP0361600
    Druh ASEPA - Abstrakt
    Zařazení RIVZáznam nebyl označen do RIV
    Zařazení RIVNení vybrán druh dokumentu
    NázevAlmost (MP)-based Substructural Logics
    Tvůrce(i) Cintula, Petr (UIVT-O) RID, ORCID, SAI
    Noguera, C. (ES)
    Zdroj.dok.Topology, Algebra and Categories in Logic. - Marseille, 2011
    S. 107-110
    Poč.str.4 s.
    AkceTACL 2011. Topology, Algebra and Categories in Logic /5./
    Datum konání26.07.2011-30.07.2011
    Místo konáníMarseilles
    ZeměFR - Francie
    Typ akceWRD
    Jazyk dok.eng - angličtina
    Země vyd.FR - Francie
    Klíč. slovanonassociative full Lambek calculus ; deduction theorem
    Vědní obor RIVBA - Obecná matematika
    CEP1M0545 GA MŠMT - Ministerstvo školství, mládeže a tělovýchovy
    CEZAV0Z10300504 - UIVT-O (2005-2011)
    PracovištěÚstav informatiky
    KontaktTereza Šírová, sirova@cs.cas.cz, Tel.: 266 053 800
    Rok sběru2012
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.

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