Logic-Based Program Synthesis and Transformation Mehr Bücher von Manuel V. Hermenegildo & Pedro Lopez-Garcia

Static Analysis Static Analysis
2023
Prolog: The Next 50 Years Prolog: The Next 50 Years
2023