Functional and Logic Programming John P. Gallagher & Martin Sulzmann: другие книги

The Half-Eaten Boy on the Stairs: A Poem The Half-Eaten Boy on the Stairs: A Poem
2013
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems
2023
Logic-Based Program Synthesis and Transformation Logic-Based Program Synthesis and Transformation
2018