Search results

Records found: 7  
Your query: Author Sysno/Doc.kind = "^cav_un_auth 0100699 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.
    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.
    Participants 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.
    Participants Ší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
  4. 4.
    ProjectMatematická logika a výpočetní složitost
    Project NameIAA1019901
    Grant AgencyGA AV ČR
    Research years1999 - 2003
    Grant Recipient Matematický ústav AV ČR, v. v. i.
    Participants Pudlák
    NotePříjemce
    Catal.org.CAV
    References (7) - Konferenční příspěvek (zahraniční konference)
    (39) - Článek v odborném časopise
    (1) - Část monografie
    (3) - Výzkumná zpráva
    FileProjekty
  5. 5.
    ProjectTeorie, důkazy a výpočetní složitost
    Project NameIAA1019401
    Grant AgencyGA AV ČR
    Research years2004 - 2008
    Grant Recipient Matematický ústav AV ČR, v. v. i.
    Participants Pudlák
    NotePříjemce
    Catal.org.CAV
    References (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
    FileProjekty
  6. 6.
    Project-
    Project NameIAA1019602
    Grant AgencyGA AV ČR
    Participants Pudlák
    NotePříjemce
    Catal.org.CAV
    References (5) - Konferenční příspěvek (zahraniční konference)
    (21) - Článek v odborném časopise
    (4) - Část monografie
    (3) - Výzkumná zpráva
    FileProjekty
  7. 7.
    Project-
    Project NameIAA119107
    Grant AgencyGA AV ČR
    Participants Pudlák
    NotePříjemce
    Catal.org.CAV
    References (1) - Monografie kniha jako celek
    (9) - Konferenční příspěvek (zahraniční konference)
    (17) - Článek v odborném časopise
    (5) - Část monografie
    FileProjekty


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

Accept allSettingsReject all