Logic-Based Program Synthesis and Transformation 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers /

This book constitutes the thoroughly refereed post-conference proceedings of the 25th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2015, held in Siena, Italy, in July 2015. The 21 revised full papers presented together with 3 invited talks were carefully review...

Description complète

Détails bibliographiques

Cote:	Libro Electrónico
Collectivité auteur:	SpringerLink (Online service)
Autres auteurs:	Falaschi, Moreno (Éditeur intellectuel)
Format:	Électronique eBook
Langue:	Inglés
Publié:	Cham : Springer International Publishing : Imprint: Springer, 2015.
Édition:	1st ed. 2015.
Collection:	Theoretical Computer Science and General Issues, 9527
Sujets:	Computer science. Software engineering. Machine theory. Artificial intelligence. Computer science-Mathematics. Discrete mathematics. Computer Science Logic and Foundations of Programming. Software Engineering. Formal Languages and Automata Theory. Artificial Intelligence. Discrete Mathematics in Computer Science.
Accès en ligne:	Texto Completo