Rewriting Logic and Its Applications Santiago Escobar의 도서 더 보기

Logic-Based Program Synthesis and Transformation Logic-Based Program Synthesis and Transformation
Logic-Based Program Synthesis and Transformation
2025년
Functional and Constraint Logic Programming Functional and Constraint Logic Programming
Functional and Constraint Logic Programming
2010년