| 000 | 00441 a2200145 4500 | ||
|---|---|---|---|
| 005 | 20230607141935.0 | ||
| 050 |
_aQA76.73 _bP76Le. |
||
| 100 | _aLe, Tu Van. | ||
| 245 |
_aTechniques of Prolog programming with implementation of logical negation and quantified goals / _cTu Van Le. |
||
| 501 | _a8217 | ||
| 650 | _aProlog (Computer program language). | ||
| 650 | _aNegation (Logic). | ||
| 260 |
_bJ. Wiley _c1993. |
||
| 942 |
_cBK _oQA76.73 P76Le. |
||
| 999 |
_c4214 _d4214 |
||