| 000 | 01306cam a2200349 i 4500 | ||
|---|---|---|---|
| 001 | xx004367141 | ||
| 003 | NUKAT | ||
| 005 | 20251228193542.0 | ||
| 008 | 180706s1999 si f |001 0 eng c | ||
| 020 | _a9810239106 | ||
| 035 | _a(OCoLC)1050734709 | ||
| 040 |
_aPOZN 31/EG _bpol _erda _cPOZN 31/EG _dPOZN 31/AJ _dPOZN 31/AJs |
||
| 044 |
_asi _axxu _axxk _acc |
||
| 100 | 1 |
_aWos, Larry. _eAutor _9135623 |
|
| 245 | 1 | 2 |
_aA fascinating country in the world of computing : _byour guide to automated reasoning / _cLarry Wos, Gail W. Pieper. |
| 260 |
_aSingapore ; _aNew Jersey ; _aLondon ; _aHong Kong : _bWorld Scientific, _ccopyright © 1999. |
||
| 300 |
_aXX, 587 stron ; _c22 cm + _edysk optyczny (CD-ROM). |
||
| 504 | _aBibliografia na stronach 561-569. Indeks. | ||
| 650 | 7 |
_aAutomatyczne dowodzenie twierdzeń. _2kaba _921050 |
|
| 650 | 7 |
_aSystemy ekspertowe (informatyka). _2kaba _910780 |
|
| 700 | 1 |
_aPieper, Gail W. _eAutor _9135624 |
|
| 710 | 2 |
_aWorld Scientific Publishing. _eWydawca _4pbl _9112375 |
|
| 900 | _aDodatki udostępniane online. | ||
| 999 |
_c102581 _d102581 |
||