Hermenegildo, Manuel V books & textbook
Logic-Based Program Synthesis and Transformation: 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6–8, 2016, Revised Selected ... Computer Science and General Issues)
Hermenegildo, Manuel V Lopez-Garcia, Pedro
Springer /2017-07-25 Paperback / 377 Pages
isbn-10: 3319631381 / isbn-13: 9783319631387
Prolog: The Next 50 Years (Lecture Notes in Artificial Intelligence)
Warren, David S. Dahl, Veronica Eiter, Thomas Hermenegildo, Manuel V. Kowalski, Robert Rossi, Francesca
Springer /2023-06-17 Paperback / 412 Pages
isbn-10: 303135253X / isbn-13: 9783031352539
Static Analysis: 30th International Symposium, SAS 2023, Cascais, Portugal, October 22–24, 2023, Proceedings (Lecture Notes in Computer Science)
Hermenegildo, Manuel V. Morales, José F.
Springer /2023-10-24 Paperback / 584 Pages
isbn-10: 303144244X / isbn-13: 9783031442445
