Lopez-Garcia, P., Gallagher, J.P. und Giacobazzi, R. (Hrsg.) (2023) Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems : Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60 th Birthday [cd]. 1 st ed. 2023, Lecture Notes in Computer Science. 1 st ed. 2023. Cham: Springer Nature Switzerland. doi:10.1007/978-3-031-31476-6.

Lopez-Garcia, Pedro, John P Gallagher, und Roberto Giacobazzi, Hrsg. Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems : Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60 th Birthday. Cd. Lecture Notes in Computer Science. 1 st ed. 2023. Cham: Springer Nature Switzerland, [2023?], Cham: Springer Nature Switzerland, [2023?]. https://doi.org/10.1007/978-3-031-31476-6.

Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems : Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60 th Birthday. (ca. 2023). [Cd]. In P. Lopez-Garcia, J. P. Gallagher, & R. Giacobazzi (Hrsg.), Lecture Notes in Computer Science (1 st ed. 2023). Springer Nature Switzerland. https://doi.org/10.1007/978-3-031-31476-6

Lopez-Garcia, P., J. P. Gallagher, und R. Giacobazzi, Herausgeber. „Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems : Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60 th Birthday“. Lecture Notes in Computer Science, 1 st ed. 2023, cd, Springer Nature Switzerland, 2023, https://doi.org/10.1007/978-3-031-31476-6.

LOPEZ-GARCIA, Pedro, John P GALLAGHER und Roberto GIACOBAZZI (Hrsg.). 1 st ed. 2023. Cham: Springer Nature Switzerland. ISBN 9783031314766