Functional and Constraint Logic Programming Santiago Escobar: другие книги

Logic-Based Program Synthesis and Transformation

2025

Rewriting Logic and Its Applications

2014