Notación formalizada para la representación de árboles de seguimiento de algoritmos en Prolog
- Pavón Pulido, Nieves
- Sánchez Pérez, Omar
Argitaletxea: Thomson-Paraninfo
ISBN: 8428328455
Argitalpen urtea: 2003
Orrialdeak: 457-464
Mota: Liburuko kapitulua