000 00510nam a2200193Ia 4500
008 240510s9999 xx 000 0 und d
020 _a0003540655093
041 _aEng
082 _a006.3
082 _bB18
100 _aBaumgartner, Peter
245 0 _aTheory reasoning in connection calculi : Lecture notes in artificial intelligence
260 _bSpringer: Tokyo
260 _c1998
300 _a283 p.
650 _aAritificial Intelligence : theory reasoning
942 _2ddc
942 _cRBK
999 _c27654
_d27654
945 _a1
_bMadushi Gamage
_c1
_dMadushi Gamage