RICARDO VICENTE
PEÑA MARÍ
Profesor emérito
University of Texas at Dallas
Richardson, Estados UnidosUniversity of Texas at Dallas-ko ikertzaileekin lankidetzan egindako argitalpenak (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)