| 000 | 00592nam a2200265Ia 4500 | ||
|---|---|---|---|
| 008 | 181205s9999 xx 000 0 und d | ||
| 020 | _a0-13-154446-9 | ||
| 041 | _aENGLISH | ||
| 082 | _a681.3 WOS | ||
| 100 | _aWos (Larry) | ||
| 100 | _eAUTHOR | ||
| 245 | 0 | _aAutomated Reasoning: Introduction and Applications | |
| 260 | _c1984 | ||
| 260 | _cPrentice Hall | ||
| 300 | _bPaper | ||
| 300 | _ePaper Pack | ||
| 300 | _gNO | ||
| 365 | _b0 | ||
| 365 | _b0 | ||
| 365 | _d1 | ||
| 520 | _aAutomated Reasoning | ||
| 650 | _aAutomated Reasoning | ||
| 942 | _cBK | ||
| 999 |
_c113464 _d113464 |
||