Universidad Complutense de Madrid
E-Prints Complutense
Spanish  |  Contactar

IndexAuthor

[up] Up a level
Number of items: 1.

Berbis González, Eduardo and León Guerrero,, Saúl and Orna Ruiz, Eva Pilar (2011) Tableaux verification tool. [Coursework] (Unpublished)

This list was generated on Thu Jan 27 03:13:57 2022 CET.
Biblioteca de la Universidad Complutense Políticas de las editoriales de las publicaciones científicas respecto al copyright y auto-archivo DULCINEA. Derechos de explotación y permisos para el auto-archivo de revistas científicas españolas El software de creación de archivos GNU EPRINTS está disponible de modo gratuito