Functional and Constraint Logic Programming Santiago Escobar의 도서 더 보기

Logic-Based Program Synthesis and Transformation Logic-Based Program Synthesis and Transformation
Logic-Based Program Synthesis and Transformation
2025년
Rewriting Logic and Its Applications Rewriting Logic and Its Applications
Rewriting Logic and Its Applications
2014년