Vytisknout
0405572 - UIVT-O 330952 CZ eng A - Abstrakt
Cintula, Petr - Navara, M.
Theorem Proving in Fuzzy Logics.
[Automatické dokazování ve fuzzy logikách.]
Proceedings. Ostrava: University of Ostrava, 2005 - (Novák, V.; Štěpnička, M.). s. 78-80
[The Logic of Soft Computing /4./, Workshop of the ERCIM Working Group on Soft Computing. 05.10.2005-07.10.2005, Ostrava]
Grant CEP: GA MŠMT 1M0545
Výzkumný záměr: CEZ:MSM6840770012
Klíčová slova: fuzzy logic * Lukasiewicz logic * theorem proving
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0125726
Cintula, Petr - Navara, M.
Theorem Proving in Fuzzy Logics.
[Automatické dokazování ve fuzzy logikách.]
Proceedings. Ostrava: University of Ostrava, 2005 - (Novák, V.; Štěpnička, M.). s. 78-80
[The Logic of Soft Computing /4./, Workshop of the ERCIM Working Group on Soft Computing. 05.10.2005-07.10.2005, Ostrava]
Grant CEP: GA MŠMT 1M0545
Výzkumný záměr: CEZ:MSM6840770012
Klíčová slova: fuzzy logic * Lukasiewicz logic * theorem proving
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0125726