| 000 | 00406pam a2200145a 44500 | ||
|---|---|---|---|
| 008 | 160408b xxu||||| |||| 00| 0 eng d | ||
| 020 | _a3540517057 | ||
| 082 |
_a1.535 _bL497 |
||
| 100 | _a | ||
| 245 | 1 |
_aLecture notes in artificial intelligence _bComputational Aspects of an Order-Sorted Logic with Term Declarations ;v.395 |
|
| 260 |
_a _b _c |
||
| 300 | _aviii | ||
| 500 | _aV.395 | ||
| 997 | _aA107004 C | ||
| 999 |
_c359521 _d359521 |
||