Košík

  Odznačit vybrané:   0
  1. 1.
    ProjektMetamatematika substrukturálních modálních logik
    Název projektuGA22-01137S
    PoskytovatelGA ČR
    Doba řešení2022 - 2024
    Příjemce projektu Ústav informatiky AV ČR, v. v. i.
    (Spolu)řešitel projektu Cintula
    Katal.org.CAV
    Odkazy (6) - Konferenční příspěvek (zahraniční konference)
    (10) - Článek v odborném časopise
    (1) - Část monografie
    (2) - Výzkumná zpráva
    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