Temur KutsiaBooksMathematical Aspects of Computer and Information SciencesIntelligent Computer MathematicsProceedings of the 12th International ACM SIGPLAN Symposium on Principles and Practice of Declarative ProgrammingAuthor data: Open Library