Login / Signup
Coinductive Uniform Proofs.
Ekaterina Komendantskaya
Yue Li
Published in:
CoRR (2019)
Keyphrases
</>
theorem proving
expert systems
data mining
artificial intelligence
search engine
feature selection
search algorithm
computational complexity
computer programs
decision procedures
formal proofs
equational theories