| 000 | 02450nam a2200553 i 4500 | ||
|---|---|---|---|
| 001 | 6276853 | ||
| 003 | IEEE | ||
| 005 | 20220712204750.0 | ||
| 006 | m o d | ||
| 007 | cr |n||||||||| | ||
| 008 | 151223s1995 maua ob 001 eng d | ||
| 020 |
_a9780262291248 _qelectronic |
||
| 020 |
_z0262620995 _qprint |
||
| 020 |
_z9780262620994 _qprint |
||
| 035 | _a(CaBNVSL)mat06276853 | ||
| 035 | _a(IDAMS)0b000064818c1f90 | ||
| 040 |
_aCaBNVSL _beng _erda _cCaBNVSL _dCaBNVSL |
||
| 050 | 4 |
_aQA76.63 _b.L635 1995eb |
|
| 050 | 4 |
_aQA76.63 _bL831 1995eb |
|
| 082 | 0 |
_a005.1 _220 |
|
| 245 | 0 | 0 |
_aLogic programming : _bproceedings of the 1995 international symposium / _cedited by John Lloyd. |
| 246 | 3 | _aILPS '95 | |
| 264 | 1 |
_aCambridge, Massachusetts : _bMIT Press, _cc1995. |
|
| 264 | 2 |
_a[Piscataqay, New Jersey] : _bIEEE Xplore, _c[1995] |
|
| 300 |
_a1 PDF (ix, 646 pages) : _billustrations. |
||
| 336 |
_atext _2rdacontent |
||
| 337 |
_aelectronic _2isbdmedia |
||
| 338 |
_aonline resource _2rdacarrier |
||
| 490 | 1 | _aLogic programming | |
| 500 | _a"International Logic Programming Symposium"--P. [4] of cover. | ||
| 500 | _aSponsored by Association for Logic Programming. | ||
| 504 | _aIncludes bibliographical references and index. | ||
| 506 | 1 | _aRestricted to subscribers or individual electronic text purchasers. | |
| 520 | _aThe International Logic Programming Symposium is one of two major international conferences sponsored by the Association of Logic Programming. Both conferences are held annually. The theme for the 1995 conference was "Declarative Systems," particularly the integration of the logic programming, functional programming, and object-oriented programming paradigms. | ||
| 530 | _aAlso available in print. | ||
| 538 | _aMode of access: World Wide Web | ||
| 588 | _aDescription based on PDF viewed 12/23/2015. | ||
| 650 | 0 |
_aLogic programming _xCongresses. _922301 |
|
| 655 | 0 |
_aElectronic books. _93294 |
|
| 700 | 1 |
_aLloyd, John. _923651 |
|
| 710 | 2 |
_aIEEE Xplore (Online Service), _edistributor. _923652 |
|
| 710 | 2 |
_aMIT Press, _epublisher. _923653 |
|
| 710 | 2 |
_aAssociation for Logic Programming. _923654 |
|
| 711 | 2 |
_aInternational Logic Programming Symposium _d(1995) _923655 |
|
| 776 | 0 | 8 |
_iPrint version _z9780262620994 |
| 830 | 0 |
_aLogic programming _921528 |
|
| 856 | 4 | 2 |
_3Abstract with links to resource _uhttps://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6276853 |
| 942 | _cEBK | ||
| 999 |
_c73249 _d73249 |
||