Login / Signup
Automating the formal logic course.
Goran Molnar
Vjera Omrcen
Marko Cupic
Published in:
MIPRO (2012)
Keyphrases
</>
formal logic
predicate logic
design theory
artificial intelligence
logic programming
formal methods
machine learning
description logics
automated reasoning