| 000 | 00651nam a2200217Ia 4500 | ||
|---|---|---|---|
| 005 | 20231121095957.0 | ||
| 008 | 231120s9999 xx 000 0 und d | ||
| 020 | _a0-387-95197-0 | ||
| 040 |
_aLIS CUI Lahore _cAACR-II/RDA |
||
| 082 | _a001.4226 KAM-D | ||
| 100 | _aCantone, Domenico | ||
| 245 | 0 |
_aSet Theory for Computing _bFrom Decision Procedures to Declarative Programming With Sets |
|
| 260 |
_aNew York _bSpringer Publishing Company |
||
| 264 | _c0 | ||
| 300 |
_aSoft Binding _b 409 |
||
| 365 |
_b5185 _cRs. |
||
| 546 | _aEnglish | ||
| 650 | _xComputing | ||
| 852 | _pLHR 8773 | ||
| 942 |
_2lhr _cLHR 8773 _h1 |
||
| 999 |
_c466946 _d466946 |
||