| 000 | 00604nam a2200193Ia 4500 | ||
|---|---|---|---|
| 919 | _a003069 | ||
| 020 | _a354051533X | ||
| 082 |
_a006.3 _bN8932 |
||
| 100 | _aHolldobler, Steffen. | ||
| 245 |
_aFoundations of equational logic programming. _b _cby Steffen Holldobler |
||
| 260 |
_aBerlin _bS-V _c1989 |
||
| 300 | _avii, 250p. | ||
| 490 |
_aLecture notes in artificial intelligence _v353 |
||
| 690 | _aLogic programming | ||
| 999 |
_c3030 _d3030 |
||