
por Helena Rasiowa · 1989
Sinopsis
Este libro explora los fundamentos de la lógica algorítmica, un marco formal para el estudio de programas, y su relación con la programación lógica, ofreciendo una perspectiva teórica profunda.
Sé el primero en valorar este libro.
Libros relacionados según distintos criterios de búsqueda