Výsledky vyhledávání

Nalezeno záznamů: 12  
Váš dotaz: Autor-kód záznamu + druh.dok = "^cav_un_auth 0100737 230g^"
 V košíku (0)
  1. 1.
    ProjektCentrum excelence - Institut teoretické informatiky (CE-ITI)
    Název projektuGBP202/12/G061
    PoskytovatelGA ČR
    Doba řešení2012 - 2018
    Příjemce projektu Ústav informatiky AV ČR, v. v. i.
    Matematický ústav AV ČR, v. v. i.
    (Spolu)řešitel projektu Cintula
    Pudlák
    Katal.org.CAV
    Odkazy (7) - Abstrakt
    (31) - Konferenční příspěvek (zahraniční konference)
    (44) - Článek v odborném časopise
    (3) - Část monografie
    (1) - Uspořádání konfrence
    (7) - Výzkumná zpráva
    SouborProjekty
  2. 2.
    ProjektDynamické formální systémy
    Název projektuIAA900090703
    PoskytovatelGA AV ČR
    Doba řešení2007 - 2010
    Příjemce projektu Filosofický ústav AV ČR, v. v. i.
    Ústav informatiky AV ČR, v. v. i.
    Matematický ústav AV ČR, v. v. i.
    (Spolu)řešitel projektu Majer
    Cintula
    Jeřábek
    Katal.org.CAV
    Odkazy (7) - Abstrakt
    (1) - Monografie kniha jako celek
    (11) - Konferenční příspěvek (zahraniční konference)
    (1) - Dizertace
    (1) - Elektronický dokument
    (7) - Článek v odborném časopise
    (2) - Konferenční příspěvek (tuzemská konference)
    (3) - Část monografie
    (2) - Uspořádání konfrence
    SouborProjekty
  3. 3.
    ProjektFormální teorie matematických struktur s vágností
    Název projektuKJB100300502
    PoskytovatelGA AV ČR
    Doba řešení2005 - 2007
    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
    Kroupa
    Katal.org.CAV
    Odkazy (7) - Abstrakt
    (14) - Konferenční příspěvek (zahraniční konference)
    (8) - Článek v odborném časopise
    (1) - Výzkumná zpráva
    SouborProjekty
  4. 4.
    ProjektFormální základy modelování fuzzy preferencí
    Název projektuMEB060717
    PoskytovatelGA MŠk
    Doba řešení2008 - 2008
    Příjemce projektu Ústav informatiky AV ČR, v. v. i.
    (Spolu)řešitel projektu Cintula
    Katal.org.CAV
    Odkazy (1) - Článek v odborném časopise
    SouborProjekty
  5. 5.
    ProjektLogické základy sémantiky
    Název projektuGD401/09/H007
    PoskytovatelGA ČR
    Doba řešení2009 - 2012
    Příjemce projektu Ústav informatiky AV ČR, v. v. i.
    Filosofický ústav AV ČR, v. v. i.
    (Spolu)řešitel projektu Cintula
    Peregrin
    Katal.org.CAV
    Odkazy (5) - Abstrakt
    (1) - Monografie kniha jako celek
    (2) - Konferenční příspěvek (zahraniční konference)
    (5) - Článek v odborném časopise
    (4) - Konferenční příspěvek (tuzemská konference)
    (1) - Překlad
    SouborProjekty
  6. 6.
    ProjektMetamatematika substrukturálních modálních logik
    Název projektuGA22-01137S
    PoskytovatelGA ČR
    Doba řešení2022 - 2024
    Příjemce projektu Ústav informatiky AV ČR, v. v. i.
    (Spolu)řešitel projektu Cintula
    Katal.org.CAV
    Odkazy (6) - Konferenční příspěvek (zahraniční konference)
    (9) - Článek v odborném časopise
    (1) - Část monografie
    (2) - Výzkumná zpráva
    SouborProjekty
  7. 7.
    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
  8. 8.
    ProjektNaděje a rizika digitálního věku
    Název projektuStrategieAV21/1
    Poskytovatel ostatníAV ČR
    Doba řešení2015 - 2021
    Příjemce projektu Ústav teorie informace a automatizace AV ČR, v. v. i.
    Matematický ústav AV ČR, v. v. i.
    Ústav informatiky AV ČR, v. v. i.
    Ústav geoniky AV ČR, v. v. i.
    Astronomický ústav AV ČR, v. v. i.
    Filosofický ústav AV ČR, v. v. i.
    Psychologický ústav AV ČR, v. v. i.
    Fyziologický ústav AV ČR, v. v. i.
    (Spolu)řešitel projektu Zitová
    Flusser
    Krejčí
    Cintula
    Paluš
    Poznámkahttps://naridv.utia.cas.cz/
    Katal.org.CAV
    Odkazy (10) - Konferenční příspěvek (zahraniční konference)
    (10) - Článek v odborném časopise
    (1) - Konferenční příspěvek (tuzemská konference)
    (14) - Uspořádání konfrence
    (5) - Výzkumná zpráva
    SouborProjekty
  9. 9.
    ProjektNeklasické výrokové a predikátové logiky: přístup založený na uspořádání
    Název projektuGA13-14654S
    PoskytovatelGA ČR
    Doba řešení2013 - 2016
    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 (5) - Abstrakt
    (1) - Monografie kniha jako celek
    (1) - Konferenční příspěvek (zahraniční konference)
    (1) - Dizertace
    (10) - Článek v odborném časopise
    (1) - Část monografie
    SouborProjekty
  10. 10.
    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

  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