 |
 |
Area della Ricerca di Padova
|
CSL '88 : 2nd Workshop on computer science logic, Duisburg, FRG, October 3-7, 1988, proceedings /
Normal View ISBD View
Authors:
Borger, Egon
|
Kleine Buning, Hans
|
Richter, Michael M.
Series:
Lecture notes in computer science ;
. 385
Published by :
Springer-Verlag,
(Berlin : )
Physical details: VI, 399 p. ; 24 cm.
Subject(s):
Computer science--Mathematics--Congresses
|
Logic, Symbolic and mathematical--Congresses
Year : 1989
No tags for this title.
| Item type | Location | Call Number | Copy | Status | Date Due |
|---|---|---|---|---|---|
| Books | Istituto di Ingegneria Biomedica | -LNCS385 (Browse Shelf) | 1 | Available |
Browsing Istituto di Ingegneria Biomedica Shelves Close Shelf Browser
Important links here.
There are no comments for this item.