000 | nam a22 a 4500 | ||
---|---|---|---|
999 |
_c1440 _d1440 |
||
001 | BD-DhNSU-1440 | ||
003 | BD-DhNSU | ||
005 | 20190402100137.0 | ||
008 | 190402s1984 nju||||g |||| 001 0|eng d | ||
010 | _a | ||
020 | _a0130544469 | ||
040 |
_aDLC _cDLC _dBD-DhNSU |
||
041 | _aeng | ||
050 | 0 | 0 |
_aQA76.9 _b.A96A93 1984 |
082 | 0 | 0 | _a001.535 |
100 | 1 | _aWos, Larry | |
245 | 0 | 0 |
_aAutomated reasoning : _bintroduction and applications / _cLarry Wos ... [et al.]. |
260 |
_aNew Jersey : _bPrentice-Hall, _cc1984. |
||
300 |
_axiv,482 p. : _c24 cm. |
||
650 | 0 | _aAutomatic theorem proving Artificial intelligence Electronic digital computers | |
650 | 0 | _aProgramming | |
700 | 1 | _aOverbeek, Ross | |
700 | 1 | _aLusk, Ewing | |
942 |
_2lcc _cBK |