000 | 01993nam a2200457 i 4500 | ||
---|---|---|---|
001 | 6267511 | ||
003 | IEEE | ||
005 | 20190220121648.0 | ||
006 | m o d | ||
007 | cr |n||||||||| | ||
008 | 151229s1999 mau ob 001 eng d | ||
020 | _a9780262541046 | ||
020 | _a0262541041 | ||
020 |
_a9780262291118 _qebook |
||
035 | _a(CaBNVSL)mat06267511 | ||
035 | _a(IDAMS)0b000064818b452d | ||
040 |
_aCaBNVSL _beng _erda _cCaBNVSL _dCaBNVSL |
||
050 | 4 |
_aQA76.63 _b.I56 1999eb |
|
082 | 0 | 4 | _a005.1/15 |
245 | 0 | 0 |
_aLogic programming : _bproceedings of the 1999 International Conference on Logic Programming / _cedited by Danny De Schreye. |
264 | 1 |
_aCambridge, Mass : _bMIT, _c2000. |
|
264 | 2 |
_a[Piscataqay, New Jersey] : _bIEEE Xplore, _c[1999] |
|
300 | _a1 PDF (642 pages). | ||
336 |
_atext _2rdacontent |
||
337 |
_aelectronic _2isbdmedia |
||
338 |
_aonline resource _2rdacarrier |
||
490 | 1 | _aLogic programming | |
506 | 1 | _aRestricted to subscribers or individual electronic text purchasers. | |
520 | _aThe International Conference on Logic Programming, sponsored by the Association for Logic Programming, includes tutorials, lectures, and refereed papers on all aspects of logic programming, including theoretical foundations, constraints, concurrency and parallelism, deductive databases, language design and implementation, nonmonotonic reasoning, and logic programming and the Internet. | ||
530 | _aAlso available in print. | ||
538 | _aMode of access: World Wide Web | ||
588 | _aDescription based on PDF viewed 12/29/2015. | ||
650 | 0 |
_aLogic programming _xCongresses. |
|
655 | 0 | _aElectronic books. | |
700 | 1 | _aDe Schreye, Danny. | |
710 | 2 |
_aIEEE Xplore (Online Service), _edistributor. |
|
710 | 2 |
_aMIT Press, _epublisher. |
|
776 | 0 | 8 |
_iPrint version: _z9780262541046 |
830 | 0 | _aLogic programming | |
856 | 4 | 2 |
_3Abstract with links to resource _uhttp://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267511 |
999 |
_c39423 _d39423 |