| 000 | 00881nam a22002535a 4500 | ||
|---|---|---|---|
| 005 | 20180304134306.0 | ||
| 008 | 180304t2002 gw a frb 001 0 eng d | ||
| 020 | _a9783540439608 | ||
| 040 |
_aEG-ScBUE _beng _cEG-ScBUE _dEG-ScBUE |
||
| 082 | 0 | 4 |
_222 _a005.115 _bCOM |
| 245 | 0 | 0 |
_aComputational logic : _blogic programming and beyond / _ceditors Antonis C. Kakas, Fariba Sadri. |
| 260 |
_aBerlin : _bSpringer, _cc.2002. |
||
| 300 |
_axii, 628 p. : _bill. ; _c24 cm. |
||
| 490 | 0 |
_aLecture notes in computer science, _v2408. |
|
| 504 | _aIncludes bibliographical references and index. | ||
| 505 | 2 | _av. 2. essays in honour of Robert A. Kowalski . | |
| 650 | 7 |
_2BUEsh _aLogic programming. |
|
| 650 | 7 | _aAutomatic theorem proving. | |
| 651 | _2BUEsh | ||
| 653 |
_bCOMSCI _cMarch2018 |
||
| 700 |
_aKakas, Antonis C., _eeditor. |
||
| 700 | 1 |
_aSadri, Fariba, _eeditor. |
|
| 942 | _2ddc | ||
| 999 |
_c26219 _d26191 |
||