Principios de la teoría de la programación lógica
1987·no ficcion
Este libro presenta una base teórica para la programación lógica, explorando sus fundamentos matemáticos y las conexiones con la lógica de primer orden, así como sus aplicaciones en la verificación formal de programas.
