Lógica Computacional: fundamentos, aplicaciones y perspectivas de futuro
Qué es la Lógica Computacional La Lógica Computacional es un marco teórico que une dos mundos: la lógica, como estudio de razonamiento correcto, y la computación, como conjunto de mecanismos…