Výsledky vyhledávání

Nalezeno záznamů: 3  
Váš dotaz: Autor-kód záznamu + druh.dok = "^cav_un_auth 0208971 230g^"
 V košíku (0)
  1. 1.
    ProjektAlgebraické metody v teorii důkazů
    Název projektuGAP202/11/1632
    PoskytovatelGA ČR
    Doba řešení2011 - 2015
    Příjemce projektu Ústav informatiky AV ČR, v. v. i.
    (Spolu)řešitel projektu Horčík
    Katal.org.CAV
    Odkazy (3) - Abstrakt
    (2) - Konferenční příspěvek (zahraniční konference)
    (7) - Článek v odborném časopise
    (1) - Část monografie
    SouborProjekty
  2. 2.
    ProjektNonclassical Mathematics Based on Fuzzy, Paraconsistent and Substructural Logics.
    Název projektuJSPS-16-08
    Poskytovatel ostatníAV ČR
    Doba řešení2016 - 2018
    Příjemce projektu Ústav informatiky AV ČR, v. v. i.
    (Spolu)řešitel projektu Horčík
    Katal.org.CAV
    Odkazy (1) - Konferenční příspěvek (zahraniční konference)
    (2) - Článek v odborném časopise
    SouborProjekty
  3. 3.
    ProjektSložitost t-normových logik algebraický a důkazově teoretický přístup
    Název projektuKJB100300701
    PoskytovatelGA AV ČR
    Doba řešení2007 - 2009
    Příjemce projektu Ústav informatiky AV ČR, v. v. i.
    (Spolu)řešitel projektu Horčík
    Katal.org.CAV
    Odkazy (1) - Abstrakt
    (2) - Článek v odborném časopise
    SouborProjekty


  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