Login / Signup
Axiomatic and dual systems for constructive necessity, a formally verified equivalence.
Lourdes Del Carmen González-Huesca
Favio E. Miranda-Perea
P. Selene Linares-Arévalo
Published in:
J. Appl. Non Class. Logics (2019)
Keyphrases
</>
data sets
complex systems
real time
data mining
management system
rough sets
neural network
image segmentation
digital libraries
expert systems
computer systems
systems require