Foundations of Logic and Functional Programming Workshop
Subtitle: Trento, Italy, December 15-19, 1986 : proceedings
By: M. Boscarol, L. Carlucci Aiello, G. Levi (eds.).
Contributors: Boscarol, M. 1947-; Carlucci Aiello, L. 1946-; Levi, G. 1942-
Series: Lecture notes in computer science ;; 306
Publisher: Springer-Verlag
Published: 1988
Place of publication: Berlin; New York
Language: eng
Number of pages: 218
Subjects: Functional programming (Computer science) -- Congresses.; Logic, Symbolic and mathematical -- Congresses.
Notes: Includes bibliographies.