| 000 | 00478 a2200169 4500 | ||
|---|---|---|---|
| 005 | 20170102162415.0 | ||
| 008 | 170102b xxu||||| |||| 00| 0 eng d | ||
| 020 | _a3540556028 | ||
| 040 | _cIITK | ||
| 041 | _aeng | ||
| 082 |
_a001.535 _bL497 |
||
| 245 | 1 |
_aLecture notes in artifcial intelliegence _bAutomated deduction -- cade-11 |
|
| 440 | _aLecture Notes In Artificial Intelligence | ||
| 650 | _aArtificial Intelligence | ||
| 700 | _aKapur, Deepak [ed.] | ||
| 942 | _cBK | ||
| 999 |
_c466482 _d466482 |
||