| 000 | 00674 a2200193 4500 | ||
|---|---|---|---|
| 005 | 2012071107407.0 | ||
| 008 | 120711t xxu||||| |||| 00| 0 eng d | ||
| 080 |
_a510.6:681.31 _bCAF |
||
| 100 |
_aCaferra, Ricardo _920908 |
||
| 245 | _aLogic for computer science and artificial intelligence | ||
| 300 | _axii, 523p. | ||
| 653 | _aComputer logic | ||
| 653 | _aArtificial intelligence | ||
| 653 | _aFirst order logic-predicate logic | ||
| 942 | _cBK | ||
| 260 |
_bISTE _c2011 _aLondon _920909 |
||
| 020 | _a9781848213012 | ||
| 952 |
_w2012-01-19 _p00066995 _v0.00 _r2012-01-19 _40 _e99 _00 _bUL _10 _o510.6:681.31 CAF _d2012-01-19 _70 _cGEN _2udc _g0.00 _yBK _aUL |
||
| 999 |
_c73512 _d73511 |
||