| 000 | 00590nam a22001577a 4500 | ||
|---|---|---|---|
| 008 | 230425b |||||||| |||| 00| 0 eng d | ||
| 040 |
_aNational Science Library _cNational Science Library |
||
| 080 |
_a519.852(082.2) _bN3 |
||
| 245 |
_aLogic programming and automated reasoning _c/Springer-Verlag, 4th international conference, LPAR '93 St. Petesburg, Russia, July 13-20, 1993 proceedings |
||
| 260 |
_aBerlin: _bSpringer-Verlag, _c1993 |
||
| 300 | _a386p. | ||
| 650 | _aLogic programming | ||
| 653 | _aAutomated reasoning | ||
| 700 | _aVoronkov, Andrei (Ed.) | ||
| 942 |
_2udc _cPR |
||
| 999 |
_c22929 _d22929 |
||