Executing in Common Lisp, Proving in ACL2.

Mirian Andrés Laureano Lambán Julio Rubio

Published in: Calculemus/MKM (2007)

Keyphrases

natural language learning
natural language processing
object oriented programming
case study
image sequences
object oriented
parallel execution