Počet záznamů: 1  

Generalized Disjunctions in (Infinitary) Structural Consequence Relations

    1.
    SYSNO ASEP0393068
    Druh ASEPA - Abstrakt
    Zařazení RIVZáznam nebyl označen do RIV
    Zařazení RIVNení vybrán druh dokumentu
    NázevGeneralized Disjunctions in (Infinitary) Structural Consequence Relations
    Tvůrce(i) Cintula, Petr (UIVT-O) RID, ORCID, SAI
    Noguera, C. (ES)
    Zdroj.dok.Bulletin of Symbolic Logic. - : Cambridge University Press - ISSN 1079-8986
    Roč. 18, č. 3 (2012), s. 442-443
    AkceLogic Colloquium 2011
    Datum konání11.07.2011-16.07.2011
    Místo konáníBarcelona
    ZeměES - Španělsko
    Typ akceWRD
    Jazyk dok.eng - angličtina
    Země vyd.US - Spojené státy americké
    Klíč. slovaAbstract Algebraic Logic ; Generalized disjunction ; Proof by cases properties ; Consequence relations
    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ěru2014
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