Logica para la Computacion, teorias de primer orden, resolucion y elementos de programacion logica y Prolog : /
De Ledesma, Luis
Logica para la Computacion, teorias de primer orden, resolucion y elementos de programacion logica y Prolog : / De Ledesma, Luis - 1a ed. - Mexico ; Ajaomega , 2010 - 180 p. ; 23 cm :
9786077854333
ADECUACION DE LAS TABLAS ANALITICAS DEFINICIONES Y DEMOSTRACIONES EDUCATIVAS ELEMENTOS DE PROGRAMACION LOGICA Y PROLOG RESOLUCION TEORIAS DE PRIMER ORDEN
4
Logica para la Computacion, teorias de primer orden, resolucion y elementos de programacion logica y Prolog : / De Ledesma, Luis - 1a ed. - Mexico ; Ajaomega , 2010 - 180 p. ; 23 cm :
9786077854333
ADECUACION DE LAS TABLAS ANALITICAS DEFINICIONES Y DEMOSTRACIONES EDUCATIVAS ELEMENTOS DE PROGRAMACION LOGICA Y PROLOG RESOLUCION TEORIAS DE PRIMER ORDEN
4