000 | 00388pam a2200145a 44500 | ||
---|---|---|---|
005 | 20170102161454.0 | ||
008 | 160408b1984 xxu||||| |||| 00| 0 eng d | ||
040 | _cIITK | ||
041 | _aeng | ||
082 |
_a001.535 _bL497 |
||
245 | 1 |
_aLecture notes in artifical intelligence _btruth maintenance systems |
|
260 |
_aBerlin _bSpringer-Verlag _c1984 |
||
700 | _aHartmanis, J. | ||
942 | _cBK | ||
999 |
_c318907 _d318907 |