000 00511pam a2200181a 44500
008 160408b2010 xxu||||| |||| 00| 0 eng d
020 _a9783540430582
040 _aIIT, Kanpur
082 _a511.3
_bAn82c
100 _aAnshakov, Oleg
245 0 _aCognitive reasoning
_ba formal approach
_cOleg Anshakov and Tamas Gergely
260 _aHeidelberg
_bSpringer
_c2010
300 _ax, 437p
440 _aCognitive Technologies
_v
650 _aLogic
700 _aGergely, Tamas
997 _aA169719 C
999 _c367384
_d367384