Programming languages : implementations, logics and programs : 7th International Symposium, PLILP '95, Utrecht, The Netherlands, September 20-22, 1995 : proceedings

This book constitutes the proceedings of the Seventh International Symposium on Programming Languages: Implementations, Logics and Programs, PLILP '95, held in Utrecht, The Netherlands, in September 1995. The book presents 26 refereed full papers selected from 84 submissions; they report resear...

Description complète

Détails bibliographiques

Collectivité auteur:	International symposium on programming language implementation and logic programming :Utrecht
Autres auteurs:	Swierstra, S. Doaitse, 1950- (Directeur de la publication), Hermenegildo, Manuel (Directeur de la publication)
Format:	Livre numérique
Langue:	Anglais
Publié:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Collection:	Lecture notes in computer science 982
Sujets:	Informatique Langages de programmation 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:	• Programming languages, implementations, logics and programs, 7th International Symposium, PLILP '95, Utrecht, The Netherlands, September 20-22, 1995, proceedings, Manuel Hermenegildo, S. Doaitse Swierstra (eds.), Berlin, Springer, 1995, 1 vol. (XI-466 p.), Lecture notes in computer science, 3-540-60359-X • Programming Languages: Implementations, Logics and Programs, Texte imprimé, 9783662174289