000 00478 a2200169 4500
020 _a3540562826
082 _a001.64
_bL497
100 _aPettorossi, A.
245 1 _aMETA PROGRAMMING IN LOGIC
_cPROCEEDINGS
260 _aBerlin
_bSpringer-Verlag
_c1992
300 _axii,351
440 _aLecture Notes In Computer Science
_vV.649
650 _aComputer Science -- Congresses
964 _gCIRC
997 _aA114713 C
856 _uhttp://link.springer.com/bookseries/558
999 _c466550
_d466550