| 000 | 00604nam a2200193Ia 4500 | ||
|---|---|---|---|
| 919 | _a165945 | ||
| 082 |
_a006.3 _b |
||
| 245 |
_a7th International Conference on Automated Deduction _b _ced by R. E. Shostak |
||
| 490 | _aLecture notes in computer science | ||
| 690 | _aAutomated Deduction | ||
| 700 | _aShostak, R. E. ed. | ||
| 999 |
_c157014 _d157014 |
||