| 000 | 00859cam a2200265 i 4500 | ||
|---|---|---|---|
| 001 | pc09039722k | ||
| 008 | 090714s1993 00 pol | ||
| 935 | _a0039-72260 | ||
| 040 | _aCZEST 2/OOZ/LSz | ||
| 041 | 0 | _apol | |
| 080 | _a004.021:004.4:510.6 | ||
| 100 | 1 | _aBiela, Andrzej. | |
| 245 | 1 | 0 |
_aAutomatyczne dowodzenie twierdzeń / _cAndrzej Biela, Marek Wojtylak. |
| 260 |
_aKatowice : _bWydaw. Uniwersytetu Śląskiego, _c1993. |
||
| 300 |
_a215 s. : _bil. ; _c24 cm. |
||
| 490 | 1 |
_aSkrypty / Uniwersytet Śląski, _x0239-6432 ; _vNr 484 |
|
| 504 | _abibliogr. | ||
| 700 | 1 | _aWojtylak, Marek. | |
| 830 | 0 |
_aSkrypty (Uniwersytet Śląski) _xISSN 0239-6432 _vNr 484 |
|
| 998 | _aLOGLAN | ||
| 998 | _aALGORYTMY KOMPUTEROWE | ||
| 998 | _aLOGIKA MATEMATYCZNA | ||
| 998 | _aPROGRAMY KOMPUTEROWE MATEMATYCZNE | ||
| 942 |
_2z _cZ |
||
| 999 |
_c39362 _d39362 |
||