Logic based program synthesis and transformation : ; revised selected papers 13th international symposium, LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003

This volume contains selected papers from LOPSTR 2003, the 13th Inter- tional Symposium on Logic-Based Program Synthesis and Transformation. The LOPSTR series is devoted to research in logic-based program development. P- ticular topics of interest are speci?cation, synthesis, veri?cation, transforma...

Fuld beskrivelse

Bibliografiske detaljer

Hovedforfatter:	Bruynooghe, Maurice
Institution som forfatter:	International Symposium on Logic-Based Program Synthesis and Transformation (Auteur)
Format:	Livre numérique
Sprog:	Anglais
Udgivet:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Serier:	Lecture notes in computer science 3018
Fag:	Informatique Ordinateurs Intelligence artificielle Logique symbolique et mathématique Programmation logique Actes de congrès
Online adgang:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Kommentar:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Logic based program synthesis and transformation, 13th international symposium, LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003, Maurice Bruynooghe (ed.), Berlin, Springer, 2004, 1 vol. (X-232 p.), Lecture notes in computer science, 3-540-22174-3 • Logic Based Program Synthesis and Transformation, Texte imprimé, 9783662175088