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]
VL  - 38
IS  - 3
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/KYB_2002__38_3_a1/
LA  - en
ID  - KYB_2002__38_3_a1
ER  -