Mirian Andrés Gómez-rekin lankidetzan egindako argitalpenak (2)

2010

  1. Contribuciones científicas en honor de Mirian Andrés Gómez

    Universidad de La Rioja

2007

  1. Executing in Common Lisp, Proving in ACL2.

    Lecture Notes in Computer Science, Vol. 4573 LNAI, pp. 1-12