Isbn: 9783031314773 - analysis, verification and transformation for declarative programming and intelligent systems: essays dedicated to manuel hermenegildo on the occasion of his 60th birthday (1 resultados)