RICARDO VICENTE
PEÑA MARÍ
Profesor emérito
University of Texas at Dallas
Richardson, Estados UnidosPublicacions en col·laboració amb investigadors/es de University of Texas at Dallas (1)
2014
-
Logic-based program synthesis and transformation 23rd international symposium, LOPSTR 2013 Madrid, Spain, september 18-19, 2013 revised selected papers
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)