| 000 | 00416 a2200181 4500 | ||
|---|---|---|---|
| 008 | 250318s########|||||||||||||||||||||||#d | ||
| 020 | _a0471927848 | ||
| 040 |
_aGAMADERO2 _bspa _cGAMADERO2 |
||
| 100 | _aDavid Cuffy | ||
| 245 | _aPrinciples of automated theorem proving / | ||
| 250 | _a1 | ||
| 260 | _bWiley | ||
| 942 | _cLIB | ||
| 945 |
_a1 _badmin |
||
| 999 |
_c2427 _d2427 |
||