Sistemas Informáticos y Computación
Saila
![Foto de Sistemas Informáticos y Computación](/img/uploaded/01B2D1DC2D007800FCEB4F504E14AEBE.png)
![Foto de University of Texas at Dallas](/img/noimage_org.png)
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)