Logic-Based Program Synthesis and Transformation المزيد من كتب Manuel V. Hermenegildo & Pedro Lopez-Garcia

Prolog: The Next 50 Years Prolog: The Next 50 Years
Prolog: The Next 50 Years
٢٠٢٣
Static Analysis Static Analysis
Static Analysis
٢٠٢٣