Search results

  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.
    (Spolu)řešitel projektu Cintula
    Pudlák
    Catal.org.CAV
    References (7) - Abstrakt
    (31) - Konferenční příspěvek (zahraniční konference)
    (43) - Článek v odborném časopise
    (2) - Část monografie
    (1) - Uspořádání konfrence
    (5) - Výzkumná zpráva
    FileProjekty
  2. 2.
    ProjectInstitut teoretické informatiky - Centrum mladé vědy
    Project NameLN00A056
    Grant AgencyGA MŠk
    Research years2002 - 2004
    Grant Recipient Matematický ústav AV ČR, v. v. i.
    Ústav informatiky AV ČR, v. v. i.
    (Spolu)řešitel projektu Pudlák
    Hájek
    Catal.org.CAV
    References (20) - Konferenční příspěvek (zahraniční konference)
    (37) - Článek v odborném časopise
    (3) - Část monografie
    (18) - Výzkumná zpráva
    FileProjekty
  3. 3.
    ProjectInstitut Teoretické Informatiky
    Project Name1M0545
    Grant AgencyGA MŠk
    Research years2005 - 2011
    Grant Recipient Ústav informatiky AV ČR, v. v. i.
    Matematický ústav AV ČR, v. v. i.
    (Spolu)řešitel projektu Šíma
    Pudlák
    Catal.org.CAV
    References (11) - Abstrakt
    (39) - Konferenční příspěvek (zahraniční konference)
    (1) - Dizertace
    (62) - Článek v odborném časopise
    (1) - Konferenční příspěvek (tuzemská konference)
    (1) - Software
    (1) - Část monografie
    (1) - Ostatní výsledky
    (12) - Výzkumná zpráva
    FileProjekty