Filter
Søkt på: Søkeresultat
Filter
1 treff
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems
heftet,
2023,
Engelsk,
ISBN 9783031314759
This Festschrift, dedicated to Manuel Hermenegildo on the occasion of his 60th birthday, contains papers written by many of his closest collaborators. Manuel received his Ph.D. …