Linear Heyting algebras with a quantifier.

Published in: Ann. Pure Appl. Log. (2001)

Keyphrases

neural network
learning algorithm
website
data structure
real time
genetic algorithm
artificial intelligence
e learning
multi agent
image analysis
spatial reasoning
linear systems