000 | 01207mam a2200325 a 4500 | ||
---|---|---|---|
001 | 1443419 | ||
003 | BD-DhUL | ||
005 | 20220619200748.0 | ||
008 | 931201s1993 maua b 101 0 eng d | ||
020 | _a0262631520 | ||
035 | _a(OCoLC)ocm29409868 | ||
035 | _a(NNC)1443419 | ||
040 |
_aYCP _cYCP _dBD-DhUL |
||
082 |
_a001.642 _bLOG |
||
245 | 0 | 0 |
_aLogic programming : _bproceedings of the 1993 international symposium / _cedited by Dale Miller. |
260 |
_aCambridge, Mass. : _bMIT Press, _cc1993. |
||
300 |
_axxii, 686 p. : _bill. ; _c23 cm. |
||
365 |
_aUS$ _b75.00 |
||
490 | 1 | _aLogic programming | |
500 | _aPapers presented at the 1993 International Logic Programming Symposium held in Vancouver, British Columbia, Canada, from Oct. 26-29, 1993. Sponsored by the Association for Logic Programming, et al. | ||
504 | _aIncludes bibliographical references and index. | ||
650 | 0 |
_aLogic programming _vCongresses. |
|
653 | 0 | _aLogic programming | |
700 | 1 | _aMiller, Dale. | |
710 | 2 | _aAssociation for Logic Programming. | |
711 | 2 |
_aInternational Symposium on Logic Programming _d(1993 : _cVancouver, B.C.) |
|
830 | 0 | _aLogic programming. | |
900 | _aAUTH | ||
942 |
_2ddc _cBK |
||
999 |
_c96 _d96 |