Login / Signup
Superposition with Lambdas.
Alexander Bentkamp
Jasmin Blanchette
Sophie Tourret
Petar Vukmirovic
Uwe Waldmann
Published in:
CoRR (2021)
Keyphrases
</>
theorem proving
multiscale
search algorithm
color images
neural network
pattern recognition