Search results

Records found: 12  
Your query: Author Sysno/Doc.kind = "^cav_un_auth 0100737 230g^"
 In the basket (0)
  1. 1.
    ProjectCentrum excelence - Institut teoretické informatiky (CE-ITI)
    Project NameGBP202/12/G061
    Grant AgencyGA ČR
    Research years2012 - 2018
    Grant Recipient Ústav informatiky AV ČR, v. v. i.
    Matematický ústav AV ČR, v. v. i.
    Participants Cintula
    Pudlák
    Catal.org.CAV
    References (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
    FileProjekty
  2. 2.
    ProjectDynamické formální systémy
    Project NameIAA900090703
    Grant AgencyGA AV ČR
    Research years2007 - 2010
    Grant Recipient Filosofický ústav AV ČR, v. v. i.
    Ústav informatiky AV ČR, v. v. i.
    Matematický ústav AV ČR, v. v. i.
    Participants Majer
    Cintula
    Jeřábek
    Catal.org.CAV
    References (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
    FileProjekty
  3. 3.
    ProjectFormální teorie matematických struktur s vágností
    Project NameKJB100300502
    Grant AgencyGA AV ČR
    Research years2005 - 2007
    Grant Recipient Ústav informatiky AV ČR, v. v. i.
    Ústav teorie informace a automatizace AV ČR, v.v.i.
    Participants Cintula
    Kroupa
    Catal.org.CAV
    References (7) - Abstrakt
    (14) - Konferenční příspěvek (zahraniční konference)
    (8) - Článek v odborném časopise
    (1) - Výzkumná zpráva
    FileProjekty
  4. 4.
    ProjectFormální základy modelování fuzzy preferencí
    Project NameMEB060717
    Grant AgencyGA MŠk
    Research years2008 - 2008
    Grant Recipient Ústav informatiky AV ČR, v. v. i.
    Participants Cintula
    Catal.org.CAV
    References (1) - Článek v odborném časopise
    FileProjekty
  5. 5.
    ProjectLogické základy sémantiky
    Project NameGD401/09/H007
    Grant AgencyGA ČR
    Research years2009 - 2012
    Grant Recipient Ústav informatiky AV ČR, v. v. i.
    Filosofický ústav AV ČR, v. v. i.
    Participants Cintula
    Peregrin
    Catal.org.CAV
    References (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
    FileProjekty
  6. 6.
    ProjectMetamatematika substrukturálních modálních logik
    Project NameGA22-01137S
    Grant AgencyGA ČR
    Research years2022 - 2024
    Grant Recipient Ústav informatiky AV ČR, v. v. i.
    Participants Cintula
    Catal.org.CAV
    References (6) - Konferenční příspěvek (zahraniční konference)
    (10) - Článek v odborném časopise
    (1) - Část monografie
    (2) - Výzkumná zpráva
    FileProjekty
  7. 7.
    ProjectModelování vágních kvantifikátorů v matematické fuzzy logice
    Project NameGF15-34650L
    Grant AgencyGA ČR
    Research years2015 - 2017
    Grant Recipient Ústav informatiky AV ČR, v. v. i.
    Ústav teorie informace a automatizace AV ČR, v. v. i.
    Participants Cintula
    Noguera
    Catal.org.CAV
    References (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
    FileProjekty
  8. 8.
    ProjectNaděje a rizika digitálního věku
    Project NameStrategieAV21/1
    Funding Provider - OthersAV ČR
    Research years2015 - 2021
    Grant Recipient Ú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.
    Participants Zitová
    Flusser
    Krejčí
    Cintula
    Paluš
    Notehttps://naridv.utia.cas.cz/
    Catal.org.CAV
    References (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
    FileProjekty
  9. 9.
    ProjectNeklasické výrokové a predikátové logiky: přístup založený na uspořádání
    Project NameGA13-14654S
    Grant AgencyGA ČR
    Research years2013 - 2016
    Grant Recipient Ústav teorie informace a automatizace AV ČR, v. v. i.
    Ústav informatiky AV ČR, v. v. i.
    Participants Noguera
    Cintula
    Catal.org.CAV
    References (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
    FileProjekty
  10. 10.
    ProjectPredikátové škálované logiky a jejich aplikace v informatice
    Project NameGA17-04630S
    Grant AgencyGA ČR
    Research years2017 - 2019
    Grant Recipient Ústav teorie informace a automatizace AV ČR, v. v. i.
    Ústav informatiky AV ČR, v. v. i.
    Participants Noguera
    Cintula
    Catal.org.CAV
    References (3) - Abstrakt
    (7) - Konferenční příspěvek (zahraniční konference)
    (18) - Článek v odborném časopise
    (1) - Výzkumná zpráva
    FileProjekty

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

Accept allSettingsReject all