Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems المزيد من كتب Pedro Lopez-Garcia, John P. Gallagher & Roberto Giacobazzi

Logic-Based Program Synthesis and Transformation

٢٠١٧