Login / Signup
Negation-Free and Contradiction-Free Proof of the Steiner-Lehmus Theorem.
Victor Pambuccian
Published in:
Notre Dame J. Formal Log. (2018)
Keyphrases
</>
similarity measure
machine learning
computer vision
high level
search algorithm
digital libraries
logic programs