| 000 | 01672cam a2200433Ki 4500 | ||
|---|---|---|---|
| 001 | ocn898070506 | ||
| 003 | OCoLC | ||
| 005 | 20190328114809.0 | ||
| 006 | m o d | ||
| 007 | cr cnu---unuuu | ||
| 008 | 141212s2014 enk o 000 0 eng d | ||
| 040 |
_aN$T _beng _erda _epn _cN$T _dUIU _dYDXCP _dOPELS _dIDEBK _dEBLCP _dCDX _dOCLCF _dDEBSZ _dOCLCQ _dU3W _dD6H |
||
| 019 |
_a898327134 _a899566662 |
||
| 020 |
_a9780080930671 _q(electronic bk.) |
||
| 020 |
_a0080930670 _q(electronic bk.) |
||
| 020 |
_a1322477175 _q(ebk) |
||
| 020 |
_a9781322477176 _q(ebk) |
||
| 020 | _z0444516247 | ||
| 020 | _z9780444516244 | ||
| 035 |
_a(OCoLC)898070506 _z(OCoLC)898327134 _z(OCoLC)899566662 |
||
| 050 | 4 | _aQA76.9.L63 | |
| 072 | 7 |
_aCOM _x000000 _2bisacsh |
|
| 082 | 0 | 4 |
_a006.3 _223 |
| 245 | 0 | 0 |
_aComputational logic / _h[electronic resource] _cvolume editor, Dov M. Gabbay, J�org H. Siekmann, John Woods. |
| 264 | 1 |
_aKidlington : _bElsevier, _c2014. |
|
| 300 | _a1 online resource. | ||
| 336 |
_atext _btxt _2rdacontent |
||
| 337 |
_acomputer _bc _2rdamedia |
||
| 338 |
_aonline resource _bcr _2rdacarrier |
||
| 490 | 0 |
_aHandbook of the history of logic ; _v9 |
|
| 588 | 0 | _aPrint version record. | |
| 650 | 0 | _aComputer logic. | |
| 650 | 7 |
_aCOMPUTERS _xGeneral. _2bisacsh |
|
| 650 | 7 |
_aComputer logic. _2fast _0(OCoLC)fst00872265 |
|
| 655 | 4 | _aElectronic books. | |
| 776 | 0 | 8 |
_iPrint version: _tComputational logic. Gabbay, Dov M. Gabbay, J�org H. Siekmann, John Woods _z0444516247 _w(OCoLC)897091915 |
| 856 | 4 | 0 |
_3ScienceDirect _uhttp://www.sciencedirect.com/science/book/9780444516244 |
| 856 | 4 |
_3ScienceDirect _uhttp://www.sciencedirect.com/science/handbooks/18745857/9 |
|
| 999 |
_c247025 _d247025 |
||