Foundations of Logic and Functional Programming Workshop : Trento, Italy, December 15-19, 1986 : proceedings / M. Boscarol, L. Carlucci Aiello, G. Levi (eds.).

Author/creator Foundations of Logic and Functional Programming Workshop
Other author Boscarol, M. (Mauro), 1947-
Other author Carlucci Aiello, L. (Luigia), 1946-
Other author Levi, G. (Giorgio), 1942-
Format Book
Publication InfoBerlin ; New York : Springer-Verlag, ©1988.
Descriptioniv, 218 pages : illustrations ; 25 cm.
Subjects
Functional programming (Computer science)--Congresses.
Logic, Symbolic and mathematical--Congresses.

SeriesLecture notes in computer science ; 306
Lecture notes in computer science 306. ^A466336
Bibliography noteIncludes bibliographies.
LCCN 88012313
ISBN0387191291 (U.S. : pbk.)

Availability

Library Location Call Number Status Item Actions
Joyner General Stacks QA76.6.F6858 1986 ✔ Available Place Hold