Memorias de investigación
Books:
Logic-Based Program Synthesis and Transformation
Year:2017

Research Areas
  • Engineering

Information
Abstract
Logic-Based Program Synthesis and Transformation - 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016, Revised Selected Papers. M. V. Hermenegildo, P. Lopez-Garcia (Eds.).
International
Si
10.1007/978-3-319-63139-4
Book Edition
1
Book Pulbishing
Springer International Publishing
ISBN
978-3-319-63139-4
Pages
361
Series
10184
Participants

Research Group, Departaments and Institutes related
  • Creador: Grupo de Investigación: Computación lógica, Lenguajes, Implementación y Paralelismo (CLIP)
  • Departamento: Inteligencia Artificial