Login / Signup
Hybrid and alternative logics in Isabelle.
Joshua Chen
Published in:
CICM Workshops (2019)
Keyphrases
</>
theorem prover
modal logic
data sets
machine learning
knowledge base
decision trees
data model