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 (eds.).
Author
Foundations of Logic and Functional Programming Workshop (1986 : Trento, Italy)
Publication
Berlin ; New York : Springer-Verlag, ©1988.

Items in the Library & Off-site

Filter by

1 Item

StatusFormatAccessCall NumberItem Location
TextUse in library QA76.6 .F6858 1986Off-site

Details

Additional Authors
  • Boscarol, M. (Mauro), 1947-
  • Carlucci Aiello, L. (Luigia), 1946-
  • Levi, G. (Giorgio), 1942-
Description
iv, 218 pages : illustrations; 25 cm
Series Statement
Lecture notes in computer science ; 306
Uniform Title
Lecture notes in computer science ; 306.
Subject
  • Functional programming (Computer science) > Congresses
  • Logic, Symbolic and mathematical > Congresses
  • Logic programming > Congresses
  • Logic programming
  • Functional programming (Computer science)
  • Logic, Symbolic and mathematical
  • Logische Programmierung
  • Funktionale Programmierung
  • Logisch programmeren
  • Functionele programmering
  • Trient <1986>
Genre/Form
Conference papers and proceedings
Bibliography (note)
  • Includes bibliographical references.
System Details (note)
  • Mode of access: World Wide Web.
ISBN
  • 0387191291
  • 9780387191294
  • 3540191291
  • 9783540191292
LCCN
88012313
OCLC
  • ocm17877719
  • 17877719
  • SCSB-1193451
Owning Institutions
Princeton University Library