Computational Logic: Logic Programming and Beyond (Essays in Honour of Robert A. Kowalski)
António Porto
2006·ensayo
Ambos libros son colecciones de ensayos que exploran aspectos fundamentales de sus respectivos campos, enfatizando la evolución teórica y práctica del modelado.





