Representation of Graded Structures in Proof Assistants
- Cortadellas Izquierdo, Óscar (coord.)
- Gómez Torrecillas, José (coord.)
- Lobillo Borrero, F.J. (coord.)
Editorial: Universidad de Granada
Any de publicació: 2008
Pàgines: 139-142
Congrés: Encuentro de Algebra Computacional y Aplicaciones (11. 2008. Granada)
Tipus: Aportació congrés