MPG.eBooks - Search Results - "Madrid"

Cover Image

1

Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems : Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday

Published 2023

Springer Nature Switzerland

“... at Universidad Politécnica de Madrid (UPM). He has published more than 300 scientific publications, given...”