Login / Signup
Bolzano's Concept of Grounding (Abfolge) against the Background of Normal Proofs.
Antje Rumberg
Published in:
Rev. Symb. Log. (2013)
Keyphrases
</>
neural network
machine learning
feature selection
multiresolution
information retrieval
theorem proving
key concepts
background noise