| 000 | 00841nam a2200229 i 4500 | ||
|---|---|---|---|
| 005 | 20171212141712.0 | ||
| 008 | 061122s1993 xxua f |001 0deng c | ||
| 020 | _a0471599700 | ||
| 035 | _azz2006835773 | ||
| 039 | 9 |
_a201609201136 _bkopilwa _c200611240114 _dVLOAD _c200611231458 _dqas _y200611220933 _zvumk |
|
| 040 |
_aTOR U/MIRLa _cTOR U/MIRLa _dTOR U/LF |
||
| 099 | _ahh_532427 | ||
| 100 | 1 | _aLe, Tu Van. | |
| 245 | 1 | 0 |
_aTechniques of Prolog programming : _bwith implementation of logical negation and quantified goals / _cT. Van Le. |
| 260 |
_aNew York [etc.] : _bJohn Wiley & Sons, _ccop. 1993 |
||
| 300 |
_aXVIII, 601 s. : _bil. ; _c24 cm. |
||
| 504 | _aBibliogr. s. 585-593. Indeks. | ||
| 920 | _a0-471-59970-0 | ||
| 961 | _aWA_310 | ||
| 968 | _aTOR_U | ||
| 999 |
_aVIRTUA40 _c1195 _d1195 |
||
| 999 | _aVTLSSORT0080*0200*0350*0400*0990*1000*2450*2600*3000*5040*9200*9680*9992 | ||