• DML-CZ Home
• Kybernetika
• Volume 38

Author: Navara, Mirko

• Bartušek, Tomáš; Navara, Mirko: Program for generating fuzzy logical operations and its use in mathematical proofs. (English). Kybernetika, vol. 38 (2002), issue 3, pp. [235]-244
• Horčík, Rostislav; Navara, Mirko: Validation sets in fuzzy logics. (English). Kybernetika, vol. 38 (2002), issue 3, pp. [319]-326