Název:
Syntactic Approach to Fuzzy Modal Logic in MTL
Autoři:
Chvalovský, Karel
Typ dokumentu: Příspěvky z konference
Konference/Akce: Doktorandské dny 2009 Ústavu informatiky AV ČR, v. v. i., Jizerka (CZ), 2009-09-21 / 2009-09-23
Rok:
2009
Jazyk:
eng
Klíčová slova:
automated theorem proving;
logic MTL;
modal logics;
syntactic derivations
Číslo projektu: CEZ:AV0Z10300504 (
CEP),
GEICC/08/E018 (
CEP),
GD401/09/H007 (
CEP),
project 73109/2009
Poskytovatel projektu: GA ČR, GA ČR, GA UK
Zdrojový dokument: Doktorandské dny '09, ISBN 978-80-7378-087-6
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/0175061
Trvalý odkaz NUŠL: http://www.nusl.cz/ntk/nusl-40436
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