000 02904nam a2200529 i 4500
001 6267517
003 IEEE
005 20220712204728.0
006 m o d
007 cr |n|||||||||
008 151229s1997 maua ob 001 eng d
020 _a9780262291323
_qelectronic
020 _a0262631806
020 _a9780262631808
035 _a(CaBNVSL)mat06267517
035 _a(IDAMS)0b000064818b4551
040 _aCaBNVSL
_beng
_erda
_cCaBNVSL
_dCaBNVSL
050 4 _aQA76.63
_b.L635 1997eb
050 4 _aQA76.63
_b.L646 1997eb
245 0 0 _aLogic programming :
_bproceedings of the 1997 International Symposium /
_cedited by Jan Ma�uszy�nski.
246 3 _aILPS '97
264 1 _aCambridge, Massachusetts :
_bMIT Press,
_cc1997.
264 2 _a[Piscataqay, New Jersey] :
_bIEEE Xplore,
_c[1997]
300 _a1 PDF (xvi, 425 pages) :
_billustrations.
336 _atext
_2rdacontent
337 _aelectronic
_2isbdmedia
338 _aonline resource
_2rdacarrier
490 1 _aLogic programming series,
_x1061-0464.
500 _a"Papers presented at the 1997 International Logic Programming Symposium (ILPS'97), held Port Washington, Long Island, NY, October 13-16, 1997"--Pref.
504 _aIncludes bibliographical references and index.
506 1 _aRestricted to subscribers or individual electronic text purchasers.
520 _aThe annual International Logic Programming Symposium, traditionally held in North America, is one of the main international conferences sponsored by the Association of Logic Programming. The themes of the 1997 conference are new theoretical and practical accomplishments in logic programming, new research directions where ideas originating from logic programming can play a fundamental role, and relations between logic programming and other fields of computer science. Topics include theoretical foundations, constraints, concurrency and parallelism, deductive databases, language design and implementation, nonmonotonic reasoning, and logic programming and the Internet.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/29/2015.
650 0 _aLogic programming
_xCongresses.
_922301
655 0 _aElectronic books.
_93294
700 1 _aMa�uszy�nski, J.
_q(Jan),
_d1941-
_923222
710 2 _aIEEE Xplore (Online Service),
_edistributor.
_923223
710 2 _aMIT Press,
_epublisher.
_923224
710 2 _aAssociation for Logic Programming.
_923225
711 2 _aInternational Symposium on Logic Programming
_d(1997 :
_cPort Washington, Long Island, N.Y.)
_923226
776 0 8 _iPrint version:
_z9780262631808
830 0 _aLogic programming series,
_923227
856 4 2 _3Abstract with links to resource
_uhttps://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267517
942 _cEBK
999 _c73170
_d73170