Login / Signup
Hybrid realizability for intuitionistic and classical choice.
Valentin Blot
Published in:
LICS (2016)
Keyphrases
</>
fuzzy set theory
hybrid learning
hybrid approaches
linear logic
theorem prover
artificial intelligence
multiscale
computational intelligence
fuzzy information
interval valued
rough sets
database
control system
similarity measure
image segmentation
information systems
data sets