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