Logic-Based Program Synthesis and Transformation Manuel V. Hermenegildo & Pedro Lopez-Garcia의 도서 더 보기

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