Logic based program synthesis and transformation : 12th international workshop, LOPSTR 2002, Madrid, Spain, September 17-20, 2002 : revised selected papers

This book constitutes the thoroughly refereed post-proceedings of the 12th International Workshop on Logic Based Program Synthesis and Transformation, LOPSTR 2002, held in Madrid, Spain in September 2002. The 15 revised full papers presented together with 7 abstracts were carefully selected during t...

وصف كامل

التفاصيل البيبلوغرافية

مؤلف مشترك:	International Workshop on Logic-Based Program Development and Transformation :Madrid
مؤلفون آخرون:	Leuschel, Michael (مدير النشر)
التنسيق:	Livre numérique
اللغة:	Anglais
منشور في:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
سلاسل:	Lecture notes in computer science 2664
الموضوعات:	Informatique Ordinateurs Logique symbolique et mathématique Programmation logique Actes de congrès
الوصول للمادة أونلاين:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
ملاحظة:	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, 12th international workshop, LOPSTR 2002, Madrid, Spain, September 17-20, 2002, Revised selected papers, Michael Leuschel (ed.), 2003, Berlin, Springer, 1 vol. (X-279 p.), Lecture notes in computer science, 3-540-40438-4 • Logic Based Program Synthesis and Transformation, Texte imprimé, 9783662199800