On some applications of Heyting-valued analysis II.

Vassily A. Lyubetsky

Published in: Conference on Computer Logic (1988)

Keyphrases

image processing
genetic algorithm
information systems
wide range
artificial intelligence
search engine
data structure
learning environment
natural language
data analysis
image analysis
first order logic