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