C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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