Computational aspects of an order-sorted logic with term declarations / ; By Schmidt Schauss, M.
| Copyright: | 1989 |
|---|---|
| ISBN: | 0387517057 |
| Publisher: | Berlin : Springer Verlag, |
| Physical Details: | VIII, 171 p. ; 24 cm. |
| Record No.: | 2976 |
| Type/Format | Call Number | Location | Due Date | Last Seen | Barcode |
|---|---|---|---|---|---|
 Books |
-LNAI395 | Istituto di Ingegneria Biomedica | 2010-04-13 | LADSEB3651 |