Výsledky vyhledávání

Nalezeno záznamů: 4  
Váš dotaz: Autor-kód záznamu + druh.dok = "^cav_un_auth 0293476 230g^"
  1. 1.
    ProjektFirst-order Many-valued Logics
    Název projektuCONICET-16-04
    Poskytovatel ostatníAV ČR
    Doba řešení2017 - 2018
    Příjemce projektu Ústav teorie informace a automatizace AV ČR, v. v. i.
    (Spolu)řešitel projektu Noguera
    Katal.org.CAV
    SouborProjekty
  2. 2.
    ProjektModelování vágních kvantifikátorů v matematické fuzzy logice
    Název projektuGF15-34650L
    PoskytovatelGA ČR
    Doba řešení2015 - 2017
    Příjemce projektu Ústav informatiky AV ČR, v. v. i.
    Ústav teorie informace a automatizace AV ČR, v. v. i.
    (Spolu)řešitel projektu Cintula
    Noguera
    Katal.org.CAV
    Odkazy (6) - Abstrakt
    (1) - Monografie kniha jako celek
    (4) - Konferenční příspěvek (zahraniční konference)
    (8) - Článek v odborném časopise
    (1) - Část monografie
    SouborProjekty
  3. 3.
    ProjektPredikátové škálované logiky a jejich aplikace v informatice
    Název projektuGA17-04630S
    PoskytovatelGA ČR
    Doba řešení2017 - 2019
    Příjemce projektu Ústav teorie informace a automatizace AV ČR, v. v. i.
    Ústav informatiky AV ČR, v. v. i.
    (Spolu)řešitel projektu Noguera
    Cintula
    Katal.org.CAV
    Odkazy (3) - Abstrakt
    (7) - Konferenční příspěvek (zahraniční konference)
    (18) - Článek v odborném časopise
    (1) - Výzkumná zpráva
    SouborProjekty
  4. 4.
    ProjektUsuzování se stupňovanými vlastnostmi
    Název projektuGA18-00113S
    PoskytovatelGA ČR
    Doba řešení2018 - 2020
    Příjemce projektu Ústav teorie informace a automatizace AV ČR, v. v. i.
    Ústav informatiky AV ČR, v. v. i.
    (Spolu)řešitel projektu Noguera
    Cintula
    Katal.org.CAV
    Odkazy (1) - Monografie kniha jako celek
    (1) - Konferenční příspěvek (zahraniční konference)
    (8) - Č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.