Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems

Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems
Autor
Pedro Lopez-Garcia, John P. Gallagher, Roberto Giacobazzi
Matèria
Editor
Springer Nature
Data publicació
2023
Identificador
9783031314766
Col·lecció
Accés
https://link.springer.com/openurl?genre=book&isbn=978-3-031-31476-6