Výsledky vyhledávání

  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)
    (43) - Článek v odborném časopise
    (2) - Část monografie
    (1) - Uspořádání konfrence
    (5) - Výzkumná zpráva
    SouborProjekty
  2. 2.
    ProjektInstitut teoretické informatiky - Centrum mladé vědy
    Název projektuLN00A056
    PoskytovatelGA MŠk
    Doba řešení2002 - 2004
    Příjemce projektu Matematický ústav AV ČR, v. v. i.
    Ústav informatiky AV ČR, v. v. i.
    (Spolu)řešitel projektu Pudlák
    Hájek
    Katal.org.CAV
    Odkazy (20) - Konferenční příspěvek (zahraniční konference)
    (37) - Článek v odborném časopise
    (3) - Část monografie
    (18) - Výzkumná zpráva
    SouborProjekty
  3. 3.
    ProjektInstitut Teoretické Informatiky
    Název projektu1M0545
    PoskytovatelGA MŠk
    Doba řešení2005 - 2011
    Příjemce projektu Ústav informatiky AV ČR, v. v. i.
    Matematický ústav AV ČR, v. v. i.
    (Spolu)řešitel projektu Šíma
    Pudlák
    Katal.org.CAV
    Odkazy (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
    SouborProjekty
  4. 4.
    ProjektMatematická logika a výpočetní složitost
    Název projektuIAA1019901
    PoskytovatelGA AV ČR
    Doba řešení1999 - 2003
    Příjemce projektu Matematický ústav AV ČR, v. v. i.
    (Spolu)řešitel projektu Pudlák
    PoznámkaPříjemce
    Katal.org.CAV
    Odkazy (7) - Konferenční příspěvek (zahraniční konference)
    (39) - Článek v odborném časopise
    (1) - Část monografie
    (3) - Výzkumná zpráva
    SouborProjekty
  5. 5.
    ProjektTeorie, důkazy a výpočetní složitost
    Název projektuIAA1019401
    PoskytovatelGA AV ČR
    Doba řešení2004 - 2008
    Příjemce projektu Matematický ústav AV ČR, v. v. i.
    (Spolu)řešitel projektu Pudlák
    PoznámkaPříjemce
    Katal.org.CAV
    Odkazy (3) - Monografie kniha jako celek
    (14) - Konferenční příspěvek (zahraniční konference)
    (39) - Článek v odborném časopise
    (3) - Část monografie
    (3) - Ostatní výsledky
    (9) - Výzkumná zpráva
    SouborProjekty
  6. 6.
    Projekt-
    Název projektuIAA1019602
    PoskytovatelGA AV ČR
    (Spolu)řešitel projektu Pudlák
    PoznámkaPříjemce
    Katal.org.CAV
    Odkazy (5) - Konferenční příspěvek (zahraniční konference)
    (21) - Článek v odborném časopise
    (4) - Část monografie
    (3) - Výzkumná zpráva
    SouborProjekty
  7. 7.
    Projekt-
    Název projektuIAA119107
    PoskytovatelGA AV ČR
    (Spolu)řešitel projektu Pudlák
    PoznámkaPříjemce
    Katal.org.CAV
    Odkazy (1) - Monografie kniha jako celek
    (9) - Konferenční příspěvek (zahraniční konference)
    (17) - Článek v odborném časopise
    (5) - Část monografie
    SouborProjekty