Logic-Based Program Synthesis and Transformation Santiago Escobar & Laura Titolo의 도서 더 보기

Rewriting Logic and Its Applications Rewriting Logic and Its Applications
Rewriting Logic and Its Applications
2014년
Functional and Constraint Logic Programming Functional and Constraint Logic Programming
Functional and Constraint Logic Programming
2010년