| 000 | 00401nam a2200157Ia 4500 | ||
|---|---|---|---|
| 008 | 160511s9999||||xx |||||||||||||| ||und|| | ||
| 037 | _a C-182601 | ||
| 080 | _a 004.832.3 | ||
| 090 | _a III 13317 | ||
| 100 | _a WILIAMS, J. G. | ||
| 245 | _a Instantiation theory on the foundations of automated deduction | ||
| 260 | _a Berlin | ||
| 260 | _c1991 | ||
| 541 | _h 49600 lei | ||
| 942 | _a 004.83/W69 | ||
| 999 |
_c26177 _d26177 |
||