%0 Journal Article
%A Bartušek, Tomáš
%A Navara, Mirko
%T Program for generating fuzzy logical operations and its use in mathematical proofs
%J Kybernetika
%D 2002
%P [235]
%V 38
%N 3
%I mathdoc
%U http://geodesic.mathdoc.fr/item/KYB_2002__38_3_a1/
%G en
%F KYB_2002__38_3_a1