Výsledky vyhledávání

0404720 - UIVT-O 20020068 CZ eng K - Konferenční příspěvek (tuzemská konf.)
Haniková, Zuzana
Complexity of the Propositional Tautology Problem for t-norm Logics.
Doktorandský den '02. Praha: Ústav informatiky AV ČR, 2002 - (Hakl, F.), s. 43-48. Technical Report, V-880.
[Doktorandský den '02. Praha (CZ), 17.10.2002]
Grant CEP: GA AV ČR IAA1030004
Výzkumný záměr: AV0Z1030915
Klíčová slova: complexity * propositional calculus * t-norm logic
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0124958