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 |