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
٢٠١٤
Functional and Constraint Logic Programming Functional and Constraint Logic Programming
Functional and Constraint Logic Programming
٢٠١٠