000 | 00494nam a2200169Ia 4500 | ||
---|---|---|---|
008 | 161214s9999 xx 000 0 und d | ||
020 |
_a9810249969 _c(hbk) |
||
082 |
_223 _a511.36028563 _bWOS |
||
100 | _aWos, Larry | ||
245 | 0 | _aCollected works of Larry Wos. Volume 1 | |
260 |
_aSingapore: _bWorld Scientific, _c2000 |
||
300 |
_axvii, 827 p.; _b2 v.: _c23 cm. |
||
650 | _aArtificial intelligence | ||
650 | _aAutomatic theorem proving | ||
700 | _aPieper, Gail W. | ||
942 |
_2ddc _cBK |
||
999 |
_c9744 _d9744 |