Normal view
MARC view
- De Ledesma, Luis
De Ledesma, Luis(Nombre personal)
Machine generated authority record.
Work cat.: (OSt)30977: De Ledesma, Luis, Lógica para la Computación: Teorías de Primer Orden, Resolución y Elementos de Programación Lógica y Prolog / , 2010