Výsledky vyhledávání

Nalezeno záznamů: 1  
Váš dotaz: Autor-kód záznamu + druh.dok = "^cav_un_auth 0218448 230a^"
  1. 1.
    ProjektKvazirozhodovací procedury pro logické teorie reálných funkcí
    Název projektuGA21-09458S
    PoskytovatelGA ČR
    Doba řešení2021 - 2024
    Příjemce projektu Ústav informatiky AV ČR, v. v. i.
    (Spolu)řešitel projektu Ratschan
    Katal.org.CAV
    Odkazy (5) - Konferenční příspěvek (zahraniční konference)
    SouborProjekty


  Tyto stránky využívají soubory cookies, které usnadňují jejich prohlížení. Další informace o tom jak používáme cookies.