000 | 02407nam a2200529 i 4500 | ||
---|---|---|---|
001 | 6267518 | ||
003 | IEEE | ||
005 | 20220712204728.0 | ||
006 | m o d | ||
007 | cr |n||||||||| | ||
008 | 151224s1997 maua ob 001 eng d | ||
010 | _zgb 97058092 (print) | ||
020 |
_a9780262291354 _qelectronic |
||
020 |
_z026264035X _qprint |
||
020 |
_z9780262640350 _qpaperback |
||
035 | _a(CaBNVSL)mat06267518 | ||
035 | _a(IDAMS)0b000064818b4552 | ||
040 |
_aCaBNVSL _beng _erda _cCaBNVSL _dCaBNVSL |
||
050 | 4 |
_aQA76.63 _b.I56 1997eb |
|
082 | 0 | 4 |
_a005.115 _221 |
111 | 2 |
_aInternational Conference on Logic Programming _n(14th : _d1997 : _cLeuven, Belgium) _923228 |
|
245 | 1 | 0 |
_aLogic programming : _bproceedings of the Fourteenth International Conference on Logic Programming / _cedited by Lee Naish. |
246 | 3 | _aICLP '97 | |
264 | 1 |
_aCambridge, Massachusetts : _bMIT Press, _cc1997. |
|
264 | 2 |
_a[Piscataqay, New Jersey] : _bIEEE Xplore, _c[1997] |
|
300 |
_a1 PDF (xvii, 426 pages) : _billustrations. |
||
336 |
_atext _2rdacontent |
||
337 |
_aelectronic _2isbdmedia |
||
338 |
_aonline resource _2rdacarrier |
||
490 | 1 | _aLogic programming | |
500 | _a"July 8-12, 1997, Leuven, Belgium"--P. 4 of cover. | ||
504 | _aIncludes bibliographical references and index. | ||
506 | 1 | _aRestricted to subscribers or individual electronic text purchasers. | |
520 | 1 | _a"The International Conference on Logic Programming is the main annual conference sponsored by the Association for Logic Programming. It covers the latest research in areas such as theoretical foundations, constraints, concurrency and parallelism, deductive databases, language design and implementation nonmonotonic reasoning, and logic programming and the Internet."--BOOK JACKET. | |
530 | _aAlso available in print. | ||
538 | _aMode of access: World Wide Web | ||
588 | _aDescription based on PDF viewed 12/24/2015. | ||
650 | 0 |
_aLogic programming _xCongresses. _922301 |
|
655 | 0 |
_aElectronic books. _93294 |
|
700 | 1 |
_aNaish, Lee, _d1960- _923229 |
|
710 | 2 |
_aIEEE Xplore (Online Service), _edistributor. _923230 |
|
710 | 2 |
_aMIT Press, _epublisher. _923231 |
|
776 | 0 | 8 |
_iPrint version _z9780262640350 |
830 | 0 |
_aLogic programming _921528 |
|
856 | 4 | 2 |
_3Abstract with links to resource _uhttps://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267518 |
942 | _cEBK | ||
999 |
_c73171 _d73171 |