Cover Image

Foundations of Logic and Functional Programming Workshop : Trento, Italy, December 15-19, 1986 : proceedings /

Show other versions (1)
Bibliographic Details
Corporate Author: Foundations of Logic and Functional Programming Workshop Trento, Italy
Other Authors: Boscarol, M. (Mauro), 1947-, Carlucci Aiello, L. (Luigia), 1946-, Levi, G. (Giorgio), 1942-
Format: Conference Proceeding Book
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.
Description
Physical Description:iv, 218 pages : illustrations ; 25 cm.
Bibliography:Includes bibliographies.
ISBN:0387191291 (U.S. : pbk.)