000 00668nam a2200205Ia 4500
008 131122s9999 xx 000 0 und d
020 _a0-387-56282-6
040 _aISI KOLKATA
041 _aEnglish
082 _a5.131
_bIn61(92)
100 _aPettorossi A
110 _aInternational Workshop on Meta-Programming in Logic( 3rd : 1992 : Sweden )
111 _aInternational Workshop on Meta-Programming in Logic 3rd
_c, Sweden
_d1992
245 _aMeta-Programming in logic : proceedings
260 _aBerlin
_bSpringer Verlag
_c1992
300 _axii,353p
440 _aLecture notes in computer science, v 649
650 _aComputer science
942 _cBK
999 _c108806
_d108806