000 | 02884nam a2200541 i 4500 | ||
---|---|---|---|
001 | 6267515 | ||
003 | IEEE | ||
005 | 20220712204727.0 | ||
006 | m o d | ||
007 | cr |n||||||||| | ||
008 | 151228s1996 maua ob 001 eng d | ||
010 | _zgb 96082981 (print) | ||
020 |
_z9780262631730 _qprint |
||
020 |
_a9780262291309 _qelectronic |
||
020 |
_z0262631733 _qpbk |
||
035 | _a(CaBNVSL)mat06267515 | ||
035 | _a(IDAMS)0b000064818b454f | ||
040 |
_aCaBNVSL _beng _erda _cCaBNVSL _dCaBNVSL |
||
050 | 4 |
_aQA76.63 _b.L635 1996eb |
|
082 | 0 | 4 |
_a005.131 _220 |
245 | 0 | 0 |
_aLogic programming : _bproceedings of the 1996 Joint International Conference and Symposium on Logic Programming / _cedited by Michael Maher. |
246 | 1 | 3 | _aJICSLP '96 |
246 | 1 | 3 | _aJoint International Conference and Symposium on Logic Programming |
246 | 3 | 0 | _aProceedings of the 1996 Joint International Conference and Symposium on Logic Programming |
264 | 1 |
_aCambridge, Massachusetts ; _bMIT, _cc1996. |
|
264 | 2 |
_a[Piscataqay, New Jersey] : _bIEEE Xplore, _c[1996] |
|
300 |
_a1 PDF (xix, 554 pages) : _billustrations. |
||
336 |
_atext _2rdacontent |
||
337 |
_aelectronic _2isbdmedia |
||
338 |
_aonline resource _2rdacarrier |
||
490 | 1 |
_aLogic programming series, _x1061-0464. |
|
504 | _aIncludes bibliographical references. | ||
506 | 1 | _aRestricted to subscribers or individual electronic text purchasers. | |
520 | _aSeptember 2-6, 1996, Bonn, Germany Every four years, the two major international scientific conferences on logic programming merge in one joint event. JICSLP'96 is the thirteenth in the two series of annual conferences sponsored by The Association for Logic Programming. It includes tutorials, invited lectures, and refereed papers on all aspects of logic programming including: Constraints, Concurrency and Parallelism, Deductive Databases, Implementations, Meta and Higher-order Programming, Theory, and Semantic Analysis. The contributors are international, with strong contingents from the United States, United Kingdom, France, and Japan.Logic Programming series, Research Reports and Notes. | ||
530 | _aAlso available in print. | ||
538 | _aMode of access: World Wide Web | ||
588 | _aDescription based on PDF viewed 12/28/2015. | ||
650 | 0 |
_aLogic programming _xCongresses. _922301 |
|
655 | 0 |
_aElectronic books. _93294 |
|
700 | 1 |
_aMaher, Michael, _d1959- _923209 |
|
710 | 2 |
_aIEEE Xplore (Online Service), _edistributor. _923210 |
|
710 | 2 |
_aMIT Press, _epublisher. _923211 |
|
711 | 2 |
_aJoint International Conference and Symposium on Logic Programming _d(1996 : _cBonn, Germany) _923212 |
|
776 | 0 | 8 |
_iPrint version _z9780262631730 |
830 | 0 |
_aLogic programming series, _923213 |
|
856 | 4 | 2 |
_3Abstract with links to resource _uhttps://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267515 |
942 | _cEBK | ||
999 |
_c73168 _d73168 |