Search results

Records found: 3  
Your query: Author Sysno/Doc.kind = "^cav_un_auth 0208971 230g^"
 In the basket (0)
  1. 1.
    ProjectAlgebraické metody v teorii důkazů
    Project NameGAP202/11/1632
    Grant AgencyGA ČR
    Research years2011 - 2015
    Grant Recipient Ústav informatiky AV ČR, v. v. i.
    Participants Horčík
    Catal.org.CAV
    References (3) - Abstrakt
    (2) - Konferenční příspěvek (zahraniční konference)
    (7) - Článek v odborném časopise
    (1) - Část monografie
    FileProjekty
  2. 2.
    ProjectNonclassical Mathematics Based on Fuzzy, Paraconsistent and Substructural Logics.
    Project NameJSPS-16-08
    Funding Provider - OthersAV ČR
    Research years2016 - 2018
    Grant Recipient Ústav informatiky AV ČR, v. v. i.
    Participants Horčík
    Catal.org.CAV
    References (1) - Konferenční příspěvek (zahraniční konference)
    (2) - Článek v odborném časopise
    FileProjekty
  3. 3.
    ProjectSložitost t-normových logik algebraický a důkazově teoretický přístup
    Project NameKJB100300701
    Grant AgencyGA AV ČR
    Research years2007 - 2009
    Grant Recipient Ústav informatiky AV ČR, v. v. i.
    Participants Horčík
    Catal.org.CAV
    References (1) - Abstrakt
    (2) - Článek v odborném časopise
    FileProjekty


  This site uses cookies to make them easier to browse. Learn more about how we use cookies.

Accept allSettingsReject all