| 000 | 00632cam a2200229 i 4500 | ||
|---|---|---|---|
| 001 | pc00008223k | ||
| 008 | 990712s1993 00 pol | ||
| 020 | _a8390045176 | ||
| 935 | _a0008-22360 | ||
| 040 | _aCZEST 2/OOZ/CK | ||
| 041 | 0 | _apol | |
| 080 | _a681.3 | ||
| 100 | 1 | _aSzałas, Andrzej. | |
| 245 | 1 | 0 |
_aZarys dedukacyjnych metod automatycznego wnioskowania / _cAndrzej Szałas. |
| 260 |
_aWarszawa : _bAkademicka Oficyna Wydaw., _c1993. |
||
| 300 |
_a121 s. : _bil. ; _c21 cm. |
||
| 504 | _abibliogr. | ||
| 920 | _a83-90-0451-7-6 | ||
| 998 | _aLOGIKA MATEMATYCZNA | ||
| 998 | _aINFORMATYKA | ||
| 942 |
_2z _cZ |
||
| 999 |
_c8113 _d8113 |
||