0405572 - UIVT-O 330952 CZ eng A - Abstract
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]
R&D Projects: GA MŠMT 1M0545
Institutional research plan: CEZ:MSM6840770012
Keywords : fuzzy logic * Lukasiewicz logic * theorem proving
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0125726