First Efforts to Increase the Reliability of Kenzo Using ACL2

  1. M. Andrés
  2. L. Lambán
Liburua:
EACA 2008: XI Encuentro de Álgebra Computacional y Aplicaciones : Granada, del 10 al 12 de septiembre
  1. Cortadellas Izquierdo, Óscar (coord.)
  2. Gómez Torrecillas, José (coord.)
  3. Lobillo Borrero, F.J. (coord.)

Argitaletxea: Universidad de Granada

Argitalpen urtea: 2008

Orrialdeak: 111-114

Biltzarra: Encuentro de Algebra Computacional y Aplicaciones (11. 2008. Granada)

Mota: Biltzar ekarpena

DIALNET GOOGLE SCHOLAR
Datuen iturria: Dialnet