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 |