001412263 000__ 02401cam\a2200445Ka\4500 001412263 001__ 1412263 001412263 003__ MaCbMITP 001412263 005__ 20240325105224.0 001412263 006__ m\\\\\o\\d\\\\\\\\ 001412263 007__ cr\cn\nnnunnun 001412263 008__ 130212s2000\\\\maua\\\\ob\\\\101\0\eng\d 001412263 020__ $$a9780262291118$$q(electronic bk.) 001412263 020__ $$a0262291118$$q(electronic bk.) 001412263 020__ $$z0262541041 001412263 020__ $$z9780262541046 001412263 035__ $$a(OCoLC)827335564$$z(OCoLC)868211843 001412263 035__ $$a(OCoLC-P)827335564 001412263 040__ $$aOCoLC-P$$beng$$epn$$cOCoLC-P 001412263 050_4 $$aQA76.63$$b.I56 1999eb 001412263 08204 $$a005.1/15$$222 001412263 1112_ $$aInternational Conference on Logic Programming$$n(16th :$$d1999 :$$cLas Cruces, N.M.) 001412263 24510 $$aLogic programming :$$bproceedings of the 1999 International Conference on Logic Programming /$$cedited by Danny De Schreye. 001412263 260__ $$aCambridge, Mass. ;$$aLondon :$$bMIT,$$c2000. 001412263 300__ $$a1 online resource (xx, 450 pages) :$$billustrations 001412263 336__ $$atext$$btxt$$2rdacontent 001412263 337__ $$acomputer$$bc$$2rdamedia 001412263 338__ $$aonline resource$$bcr$$2rdacarrier 001412263 506__ $$aAccess limited to authorized users. 001412263 520__ $$aIncludes 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.The 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. 001412263 588__ $$aOCLC-licensed vendor bibliographic record. 001412263 650_0 $$aLogic programming$$vCongresses. 001412263 653__ $$aCOMPUTER SCIENCE/Programming Languages 001412263 655_0 $$aElectronic books 001412263 7001_ $$aDe Schreye, Danny. 001412263 852__ $$bebk 001412263 85640 $$3MIT Press$$uhttps://univsouthin.idm.oclc.org/login?url=https://doi.org/10.7551/mitpress/4304.001.0001?locatt=mode:legacy$$zOnline Access through The MIT Press Direct 001412263 85642 $$3OCLC metadata license agreement$$uhttp://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf 001412263 909CO $$ooai:library.usi.edu:1412263$$pGLOBAL_SET 001412263 980__ $$aBIB 001412263 980__ $$aEBOOK 001412263 982__ $$aEbook 001412263 983__ $$aOnline