Ebook: Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems. Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday
- Series: Lecture Notes in Computer Science 13160
- Year: 2023
- Publisher: Springer
- Language: English
- pdf
Download the book Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems. Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday for free or read online
Continue reading on any device:
Last viewed books
Related books
{related-news}
Comments (0)