A Formal Proof of Dickson's Lemma in ACL2.

Francisco-Jesús Martín-Mateos José-Antonio Alonso María-José Hidalgo José-Luis Ruiz-Reina

Published in: LPAR (2003)

Keyphrases

formal proof
natural language learning
johnson lindenstrauss
theorem prover
image processing
database
machine learning
computer science
mobile devices