Area della Ricerca di Padova
Corso Stati Uniti,4 35127 Padova (ITALY) - Tel.+39 049 8295611 - Fax.+39 049 8295671
Koha Online Catalog
Search
Library Catalog
Title
Author
Subject
ISBN
Series
Call Number
Advanced Search
|
Browse by Subject
|
Tag Cloud
Foundations of logic and functional programming Workshop : Trento, Italy, December 15-19, 1986 : proceedings /
Normal View
ISBD View
Authors:
Boscarol, Mauro
|
Carlucci Aiello, Luigia
|
Levi, Giorgio
Series:
Lecture notes in computer science ;
. 306
Published by :
Springer-Verlag,
(Berlin ; New York : )
Physical details:
IV, 218 p. : ill. ; 25 cm.
Subject(s):
Functional programming (Computer science)--Congresses
|
Logic, symbolic and mathematical--Congresses
Year :
1988
No tags for this title.
Log in to add tags.
Holdings ( 1 )
Descriptions
Comments
Item type
Location
Call Number
Copy
Status
Date Due
Books
Istituto di Ingegneria Biomedica
-LNCS306 (
Browse Shelf
)
1
Available
Browsing Istituto di Ingegneria Biomedica Shelves
Close Shelf Browser
-LNCS3
Part I
-LNCS30
Advanced course on software engineering : an advanced course /
-LNCS300
ESOP '88 : proceedings of the 2nd European symposium on programming, Nancy, France, March 21-24, 1988 /
-LNCS306
Foundations of logic and functional programming Workshop : Trento, Italy, December 15-19, 1986 : proceedings /
-LNCS31
Analysis of drum and disk storage units /
-LNCS313
Uncertainty and intelligent systems : 2nd International conference on information processing and management of uncertainty in knowledge-based systems, IPMU 88, Urbino, Italy, July 4-7, 1988 : proceedings /
There are no comments for this item.
Log in to your account
to post a comment.
Print
More searches
Search for this title in:
Other Libraries (WorldCat)
Other Databases (Google Scholar)
Online Stores (Bookfinder.com)
Save Record:
-- Choose Format --
MODS (XML)
Dublin Core (XML)
MARCXML
MARC (non-Unicode/MARC-8)
MARC (Unicode/UTF-8)
Important links here.
There are no comments for this item.