| 000 | 00734 a2200241 4500 | ||
|---|---|---|---|
| 003 | OSt | ||
| 005 | 20231204164934.0 | ||
| 008 | 170111b xxu||||| |||| 00| 0 eng d | ||
| 020 | _a0262121255 | ||
| 040 | _cIITK | ||
| 041 | _aeng | ||
| 082 |
_a001.6424 _bIn8L |
||
| 111 |
_aInternational conference on logic programming _cMelbourne, Australia _d1987 _n4th |
||
| 245 | 1 |
_aLogic programming _bproceedings... _cedited by Jean - Louis Lassez |
|
| 260 |
_aCambridge _bMit Press _c1987 |
||
| 300 | _axiv, 1056p | ||
| 440 | _aMIT Press series In logic programming | ||
| 490 | _a/ edited by Ehud Shapiro | ||
| 505 | _aContents: v.1 -- v.2 | ||
| 650 | _aLogic programming -- Cong | ||
| 700 | _aLassez, Jean-Louis [ed.] | ||
| 942 | _cBK | ||
| 999 |
_c466092 _d466092 |
||