Logic program synthesis and transformation : 6th International Workshop, LOPSTR'96, Stockholm, Sweden, August 28 30, 1996 : proceedings

This book constitutes the strictly refereed post-workshop proceedings of the Sixth International Workshop on Logic Program Synthesis and Transformation, LOPSTR'96, held on board a ship sailing from Stockholm to Helsinki, in August 1996. The 17 revised full papers were carefully selected from a...

Description complète

Détails bibliographiques

Collectivité auteur:	International Workshop on Logic program synthesis and transformation :Stockholm
Autres auteurs:	Gallagher, John P., 19..-...., informaticien (Directeur de la publication)
Format:	Livre numérique
Langue:	Anglais
Publié:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Collection:	Lecture notes in computer science 1207
Sujets:	Informatique Ordinateurs Intelligence artificielle Logique symbolique et mathématique Programmation logique Actes de congrès
Accès en ligne:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Note:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Logic program synthesis and transformation, 6th International Workshop, LOPSTR'96, Stockholm, Sweden, August 28-30, 1996, proceedings, John Gallagher, editor, 1997, New York, Springer, 1 vol. (VI-324 p.), Lecture notes in computer science, 3-540-62718-9 • Logic Program Synthesis and Transformation, Texte imprimé, 9783662200315