Foundations for natural proofs and quantifier instantiation.

Christof Löding P. Madhusudan Lucas Peña

Published in: Proc. ACM Program. Lang. (2018)

Keyphrases

artificial intelligence
theorem proving
three dimensional
theorem prover
database
real world
image processing
database systems
digital libraries
mobile robot