| 000 | 00439nam a2200181Ia 4500 | ||
|---|---|---|---|
| 008 | 180424s9999 xx 000 0 und d | ||
| 020 | _a013054552X | ||
| 084 | _a510.78 W38 | ||
| 100 | _a"Woj, Larry" | ||
| 245 | 0 | _aAutomated Reasoning | |
| 250 | _a\\198800ENGGPSX | ||
| 260 | _aPrentice Hall | ||
| 260 | _b1988 | ||
| 260 | _cEnglewood Cliffs | ||
| 300 | _axii+319p | ||
| 500 | _aincludes index and biblioraphy | ||
| 942 | _cBK | ||
| 999 |
_c51467 _d51467 |
||