TY  - JOUR
AU  - Bartušek, Tomáš
AU  - Navara, Mirko
TI  - Program for generating fuzzy logical operations and its use in mathematical proofs
JO  - Kybernetika
PY  - 2002
SP  - 235
EP  - 244
VL  - 38
IS  - 3
UR  - http://geodesic.mathdoc.fr/item/KYB_2002_38_3_a1/
LA  - en
ID  - KYB_2002_38_3_a1
ER  -