Functional and Constraint Logic Programming المزيد من كتب Santiago Escobar

Logic-Based Program Synthesis and Transformation

٢٠٢٥

Rewriting Logic and Its Applications

٢٠١٤