Logic-Based Program Synthesis and Transformation Manuel V. Hermenegildo & Pedro Lopez-Garcia: другие книги

Prolog: The Next 50 Years

2023

Static Analysis

2023