Výsledky vyhledávání

Nalezeno záznamů: 2  
Váš dotaz: Autor-kód záznamu + druh.dok = "^cav_un_auth 0219256 230g^"
 V košíku (0)
  1. 1.
    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
  2. 2.
    ProjektSložitost matematických důkazů a struktur
    Název projektuGA19-05497S
    PoskytovatelGA ČR
    Doba řešení2019 - 2021
    Příjemce projektu Matematický ústav AV ČR, v. v. i.
    (Spolu)řešitel projektu Jeřábek
    Katal.org.CAV
    Odkazy (9) - Konferenční příspěvek (zahraniční konference)
    (10) - Článek v odborném časopise
    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