| 000 | 00633 a2200229 4500 | ||
|---|---|---|---|
| 001 | ITTG4857 | ||
| 003 | OSt | ||
| 005 | 20250115011743.0 | ||
| 008 | 241215s1991 |||||||||||||||||| #d | ||
| 020 | _a0-471-92784-8 | ||
| 040 |
_aITTG _cITTG |
||
| 041 | _aspa | ||
| 082 | _a511.3 D84 | ||
| 100 | _aDUFFY, DAVID A. | ||
| 245 |
_aPRINCIPLES OF AUTOMATED THEOREM PROVING/ _cD.A. DUFFY. |
||
| 260 |
_aCHICHESTER: _bJOHN WILEY _c1991 |
||
| 300 |
_aXVIII, 243 P. _c24 CM. |
||
| 500 | _aINCLUYE INDICE. \ BIBLIOGRAFIA: P. 225-232. | ||
| 562 | _e1 | ||
| 650 | _a1.LOGICA SIMBOLICA Y MATEMATICA. | ||
| 942 |
_2ddc _c1 _e20090813 14:23:17 |
||
| 999 |
_c4727 _d4727 |
||