Login / Signup
Proof System.
Stephan Merz
Published in:
PxTP (2012)
Keyphrases
</>
modal logic
database
clause learning
intuitionistic logic
machine learning
information retrieval
genetic algorithm
feature space
special case
sequent calculus
proof search