Sistemas Informáticos y Computación
Fachbereich
![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 UnidosPublikationen in Zusammenarbeit mit Forschern von 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)