Login / Signup
Advantages and Dangers on Utilizing GeoGebra Automated Reasoning Tools.
Zoltán Kovács
Published in:
CICM Workshops (2018)
Keyphrases
</>
automated reasoning
reasoning systems
theorem proving
probabilistic reasoning
theorem prover
knowledge representation
reasoning tasks
decision procedures
automated verification
data mining
machine learning
special case
general purpose
knowledge representation and reasoning
propositional satisfiability