Research Catalog

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

Title
Foundations of Logic and Functional Programming Workshop : Trento, Italy, December 15-19, 1986 : proceedings / M. Boscarol, L. Carlucci Aiello, G. Levi, editors.
Publication
Berlin ; New York : Springer-Verlag, c1988.

Items in the Library & Off-site

Filter by

1 Item

StatusFormatAccessCall NumberItem Location
TextRequest in advance JSE 88-3405Offsite

Holdings

Details

Additional Authors
  • Boscarol, M. (Mauro), 1947-
  • Carlucci Aiello, L. (Luigia), 1946-
  • Levi, G. (Giorgio), 1942-
Description
iv, 218 p. : ill.; 25 cm.
Series Statement
Lecture notes in computer science ; 306
Subjects
Call Number
JSE 88-3405
ISBN
0387191291 (U.S.)
LCCN
88012313
OCLC
  • 17877719
  • 17877719
Title
Foundations of Logic and Functional Programming Workshop : Trento, Italy, December 15-19, 1986 : proceedings / M. Boscarol, L. Carlucci Aiello, G. Levi, editors.
Imprint
Berlin ; New York : Springer-Verlag, c1988.
Series
Lecture notes in computer science ; 306
Added Author
Boscarol, M. (Mauro), 1947-
Carlucci Aiello, L. (Luigia), 1946-
Levi, G. (Giorgio), 1942-
Research Call Number
JSE 88-3405
View in Legacy Catalog