Počet záznamů: 1  

Složitost t-normových logik algebraický a důkazově teoretický přístup

  1. 1.
    ProjektSložitost t-normových logik algebraický a důkazově teoretický přístup
    Název projektuKJB100300701
    PoskytovatelGA AV ČR
    Doba řešení2007 - 2009
    Příjemce projektu Ústav informatiky AV ČR, v. v. i.
    (Spolu)řešitel projektu Horčík
    Katal.org.CAV
    Odkazy (1) - Abstrakt
    (2) - Článek v odborném časopise
    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