Logic program synthesis and transformation : 7th international workshop, LOPSTR '97, Leuven, Belgium, July 10-12, 1997 : proceedings

This volume contains the papers from the Seventh International Workshop on Logic Program Synthesis and Transformation, LOPSTR '97, that took place in Leuven, Belgium, on July 10 12, 1997, 'back to back' with the Fourteenth International Conference on Logic Programming, ICLP '97....

Description complète

Détails bibliographiques

Collectivité auteur:	International Workshop on Logic program synthesis and transformation :Louvain, Belgique
Autres auteurs:	Fuchs, Norbert (Directeur de la publication)
Format:	Livre numérique
Langue:	Anglais
Publié:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Collection:	Lecture notes in computer science 1463
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, 7th international workshop, LOPSTR '97, Leuven, Belgium, July 10-12, 1997, proceedings, Norbert E. Fuchs, 1998, Berlin, Springer, 1 vol. (X-342 p.), Lecture notes in computer science, 3-540-65074-1 • Logic Program Synthesis and Transformation, Texte imprimé, 9783662193297