Počet záznamů: 1  

Dynamické formální systémy

  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
Počet záznamů: 1  

  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