CSL '88 : 2nd Workshop on computer science logic, Duisburg, FRG, October 3-7, 1988, proceedings /
| Copyright: | 1989 |
|---|---|
| ISBN: | 354051659X |
| LCCN: | QA76.9.M35W67 |
| Publisher: | Berlin : Springer-Verlag, |
| Physical Details: | VI, 399 p. ; 24 cm. |
| Record No.: | 2942 |
| Type/Format | Call Number | Location | Due Date | Last Seen | Barcode |
|---|---|---|---|---|---|
 Books |
-LNCS385 | Istituto di Ingegneria Biomedica | 2010-04-13 | LADSEB3615 |