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...

Full description

Bibliographic Details

Corporate Authors:	Foundations of Logic and Functional Programming Workshop Trento, Italy, SpringerLink (Online service)
Other Authors:	Boscarol, M. (Mauro), 1947-, Carlucci Aiello, L. (Luigia), 1946-, Levi, G. (Giorgio), 1942-
Format:	Conference Proceeding eBook
Language:	English
Published:	Berlin ; New York : Springer-Verlag, [1988]
Series:	Lecture notes in computer science ; 306.
Subjects:	Functional programming (Computer science) > Congresses. Logic, Symbolic and mathematical > Congresses. programmation fonctionnelle. programmation en logique. Logique symbolique et mathématique > Congrès. Programmation fonctionnelle > Congrès. Programmation logique > Congrès. Logisch programmeren. Functionele programmering. Functional programming (Computer science) Logic, Symbolic and mathematical. Electronic books. Conference proceedings.
Online Access:	Connect to the full text of this electronic book