| 000 | 00509nam a2200205Ia 4500 | ||
|---|---|---|---|
| 001 | 10068 | ||
| 005 | 20250221150402.0 | ||
| 008 | 250214s9999 xx 000 0 und d | ||
| 020 | _a0-12-763420-7 | ||
| 100 | _aWos, Larry | ||
| 245 | 0 | _aAutomation of reasoning | |
| 260 | _aNew York | ||
| 260 | _bAcademic Press | ||
| 260 | _c1996 | ||
| 300 | _axiv, 434p. | ||
| 500 | _aIncludes bibliographical references and index | ||
| 650 | _aAutomatic theorm proving | ||
| 650 | _aComputer file | ||
| 942 | _cBK | ||
| 999 |
_c26151 _d26151 |
||