Intuitionistic typical ambiguity.

Daniel Dzierzgowski

Published in: Arch. Math. Log. (1992)

Keyphrases

fuzzy set theory
linear logic
database
theorem prover
databases
data structure
interval valued
real time
neural network
real world
social networks
clustering algorithm
multiscale