Název: Complexity of the Propositional Tautology Problem for t-norm Logics
Autoři: Haniková, Zuzana
Typ dokumentu: Příspěvky z konference
Konference/Akce: Doktorandský den '02, Praha (CZ), 2002-10-17
Rok: 2002
Jazyk: eng
Klíčová slova: complexity; propositional calculus; t-norm logic
Číslo projektu: AV0Z1030915 (CEP), IAA1030004 (CEP)
Poskytovatel projektu: GA AV ČR
Zdrojový dokument: Doktorandský den '02
Práva: Dílo je chráněno podle autorského zákona č. 121/2000 Sb.

Instituce: Ústav informatiky AV ČR (web)
Původní záznam: http://hdl.handle.net/11104/0124958

Trvalý odkaz NUŠL: http://www.nusl.cz/ntk/nusl-34050


Záznam je zařazen do těchto sbírek:
Věda a výzkum > AV ČR > Ústav informatiky
Konferenční materiály > Příspěvky z konference