Logic program synthesis and transformation : 5th International Workshop, LOPSTR'95, Utrecht, The Netherlands, September 20 22, 1995 : proceedings

This book constitutes the refereed proceedings of the 5th International Workshop on Logic Program Synthesis and Transformation, LOPSTR'95, held in Utrecht, The Netherlands in September 1995. The 19 papers included were selected from 40 workshop submissions; they offer a unique up-to-date accoun...

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής

Συγγραφή απο Οργανισμό/Αρχή:	International Workshop on Logic program synthesis and transformation :Utrecht, Pays-Bas
Άλλοι συγγραφείς:	Proietti, Maurizio, 1959- (Διευθυντής έκδοσης)
Μορφή:	Livre numérique
Γλώσσα:	Anglais
Έκδοση:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Σειρά:	Lecture notes in computer science 1048
Θέματα:	Informatique Ordinateurs Intelligence artificielle Logique symbolique et mathématique Programmation logique Actes de congrès
Διαθέσιμο Online:	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 program synthesis and transformation, 5th International Workshop, LOPSTR'95, Utrecht, The Netherlands, September 20-22, 1995, proceedings, Maurizio Proietti (ed.), 1996, Berlin, Springer, 1 vol. (X-264 p.), Lecture notes in computer science, 3-540-60939-3 • Logic Program Synthesis and Transformation, Texte imprimé, 9783662173510