| 000 | 01385n a2200373#a 4500 | ||
|---|---|---|---|
| 001 | 33987 | ||
| 003 | P5A | ||
| 005 | 20240216145928.0 | ||
| 008 | 101123s2011 flua b 001 0 eng|| | ||
| 010 | _a2010045091 | ||
| 020 | _a9781439829615 (hardback) | ||
| 020 | _a1439829616 (hardback) | ||
| 035 | _a(OCoLC)683591286 | ||
| 035 | _a(OCoLC) | ||
| 040 |
_aDLC _cDLC _dYDX _dYDXCP _dCDX _dNLGGC _dUKMGB |
||
| 042 | _apcc | ||
| 082 |
_a005.133 _bH676m |
||
| 090 | _ama12 | ||
| 100 | 1 |
_aHitzler, Pascal. _94815 |
|
| 245 | 1 | 0 |
_aMathematical aspects of logic programming semantics/ _cPascal Hitzler, Anthony Seda. |
| 260 |
_aBoca Raton: _bCRC Press, _cc2011. |
||
| 300 |
_axxx, 274 p.: _bill.; _c25 cm. |
||
| 490 | 1 | _aChapman & Hall/CRC studies in informatics series | |
| 504 | _aIncludes bibliographical references and index. | ||
| 650 | 0 | 0 |
_aLogic programming (Computer science) _917956 |
| 650 | 0 | 0 |
_aProgramming languages (Electronic computers) _xSemantics. _931282 |
| 650 | 0 | 7 |
_aCOMPUTERS / Information Theory _2bisacsh _94816 |
| 650 | 0 | 7 |
_aCOMPUTERS / Machine Theory _2bisacsh _94817 |
| 650 | 0 | 7 |
_aCOMPUTERS / Software Development & Engineering / Systems Analysis & Design _2bisacsh _94818 |
| 697 |
_aMatemática Aplicada 12- _xInformática. _923759 |
||
| 700 | 1 |
_aSeda, Anthony. _94819 |
|
| 830 | 0 |
_aChapman & Hall/CRC studies in informatics series. _94820 |
|
| 942 |
_2impa _cBK |
||
| 999 |
_c32923 _d32923 |
||