Login / Signup
Proof Systems for the Logics of Bringing-It-About.
Tiziano Dalmonte
Charles Grellois
Nicola Olivetti
Published in:
DEON (2021)
Keyphrases
</>
management system
complex systems
data mining
database
distributed systems
intelligent systems
building blocks
inference rules
real world
machine learning
computer vision
decision trees
case study
data structure
learning environment
expert systems