Login / Signup
On the Dynamic Increase of Multiplicities in Matrix Proof Methods for Classical Higher-Order Logic.
Serge Autexier
Published in:
TABLEAUX (2005)
Keyphrases
</>
higher order logic
theorem prover
artificial intelligence
decision trees
higher order
qualitative and quantitative
feature selection
probabilistic model
knowledge representation
linear combination
linear algebra
classical methods