Program for generating fuzzy logical operations and its use in mathematical proofs.

Tomás Bartusek Mirko Navara

Published in: Kybernetika (2002)

Keyphrases

logical operations
mathematical proofs
fuzzy logic
data model
database
artificial intelligence
database systems
natural language
input image