Login / Signup
On proof theory in computer science.
Lew Gordeev
Edward Hermann Haeusler
Published in:
CoRR (2020)
Keyphrases
</>
proof theory
computer science
default reasoning
automated reasoning
proof theoretic
artificial intelligence
reasoning problems
data mining
machine learning
belief revision
knowledge representation
np complete
partial order