000 005040000a22001690004500
245 _aLogic, algebra, and computation
100 _aBauer, Friedrich L. ed.
260 _aBerlin
_bSpringer-Verlag
_c1991
300 _a485p.
440 _aNATO ASI series F : computer & systems sciences vol.79
020 _a3540543155
080 _a004.424.5.021
_bL6
650 _aCOMPUTER PROGRAMMING-LOGIC PROGRAMMING
650 _aCOMPUTER METATHEORY-COMPUTATIONAL LINGUISTICS
041 _aEN
942 _cBK
999 _c61216
_d61216