| 000 | 00418nam a2200133Ia 4500 | ||
|---|---|---|---|
| 008 | 191014s9999 xx 000 0 und d | ||
| 020 | _a981-02-4996-9 | ||
| 082 |
_a511.3 _bWOS |
||
| 100 |
_aLarry Wos, Gail W. Pieper _920581 |
||
| 245 | 4 | _aThe Collected Works of Larry Wos Vol 1 Exploring the Power of Automated Reasoning | |
| 260 |
_aSingapore _bWorld Scientific Company _c2000 |
||
| 300 | _aXvii,827 | ||
| 942 | _cBK | ||
| 999 |
_c531176 _d531176 |
||