| 000 | 00334nam a2200109Ia 4500 | ||
|---|---|---|---|
| 008 | 220510s1992 xx 000 0 und d | ||
| 041 | _aeng | ||
| 082 | _a005.1 PET/LEC | ||
| 100 |
_aPETTOROSSI, A. (ED. _9795165 |
||
| 245 | _aLECTURE NOTES IN COMPUTER SCIENCE (META - PROGRAMMING IN LOGIC | ||
| 260 |
_aNEW YORK _b SPRINGER VERLAG _c1992 |
||
| 999 |
_c545369 _d545369 |
||