Foundations of logic and functional programming : Workshop, Trento, Italy, December 15 19, 1986 : proceedings

This volume consists of some of the papers that were delivered during the workshop on "Foundations of Logic and Functional Programming" held in Trento, Italy, from December 15th to 19th, 1986. The meeting centered on themes and trends in Functional Programming and in Logic Programming. Thi...

全面介紹

書目詳細資料

企業作者:	Workshop on foundations of logic and functional programming :Trente
其他作者:	Boscarol, Mauro, 19..- (Directeur de la publication), Levi, Giorgio, 1942- (Directeur de la publication), Carlucci Aiello, Luigia, 1946- (Directeur de la publication)
格式:	Livre numérique
語言:	Anglais
出版:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
叢編:	Lecture notes in computer science 306
主題:	Informatique Ordinateurs Logique symbolique et mathématique Programmation fonctionnelle (informatique) 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:	• Foundations of Logic and Functional Programming Workshop, Trento, Italy, December 15-19, 1986, proceedings, M. Boscarol, L. Carlucci Aiello, G. Levi (eds.), Berlin, Springer-Verlag, 1988, 1 vol. (IV-218 p.), Lecture notes in computer science, 0-387-19129-1 • Foundations of Logic and Functional Programming, Texte imprimé, 9783662190999