| 000 | 00462nam a2200157Ia 4500 | ||
|---|---|---|---|
| 100 | _aGALLIER JEAN H | ||
| 020 | _a10987654321 | ||
| 650 | _aLogic For Computer Science | ||
| 365 | _cRS | ||
| 365 | _d1 | ||
| 942 | _cENGBK | ||
| 654 | _aComputer science automatic theorem perform logic;symbolic mathematics | ||
| 245 | _aLogic For Computer Science Foundations of Automatic theorem Proving | ||
| 260 |
_bJohn Wiley & sons _c1987 _aNew York |
||
| 300 | _aXV+511 pp | ||
| 999 |
_c29021 _d29021 |
||