Browse
FAQ

Author

Manuel V Hermenegildo

3 books found

Cover of Prolog

Prolog

David S. Warren, Veronica Dahl, Thomas Eiter, Manuel V. Hermenegildo, Robert Kowalski · First published 2023

Cover of Static Analysis

Static Analysis

Manuel V. Hermenegildo, José F. Morales · First published 2023

Cover of Logic-Based Program Synthesis and Transformation

Logic-Based Program Synthesis and Transformation

Manuel V Hermenegildo, Pedro Lopez-Garcia · First published 2017