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

Full text!
Type:
e-book
Titel:
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems : Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday
Auteur:
Lopez-Garcia, Pedro.; Gallagher, John P.; Giacobazzi, Roberto
Taal:
Engels
Uitgever:
Cham Springer 2023
ISBN:
3-031-31475-1
3-031-31476-X
Permalink:
http://bibtest.howest.be/catalog/ebk03:26707051800041