About DML-CZ
|
FAQ
|
Conditions of Use
|
Math Archives
|
Contact Us
DML-CZ Home
Kybernetika
Author: Bartušek, Tomáš
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
Search
Search
This Community
Advanced Search
Browse
Collections
Titles
Authors
MSC
About DML-CZ
Partner of