6th conference of automated deduction, New York, USA, June 7-9, 1982 /
| Copyright: | 1982 |
|---|---|
| ISBN: | 3540115587 |
| Publisher: | Berlin : Springer-Verlag, |
| Physical Details: | VII, 389 p. ; 24 cm. |
| Record No.: | 2184 |
| Type/Format | Call Number | Location | Due Date | Last Seen | Barcode |
|---|---|---|---|---|---|
 Books |
-LNCS138 | Istituto di Ingegneria Biomedica | 2010-04-13 | LADSEB2784 |