Login / Signup
Deductive Argumentation by Enhanced Sequent Calculi and Dynamic Derivations.
Ofer Arieli
Christian Straßer
Published in:
LSFA (2015)
Keyphrases
</>
sequent calculi
feature space
object oriented
inference rules