001412262 000__ 02984cam\a2200469Ka\4500
001412262 001__ 1412262
001412262 003__ MaCbMITP
001412262 005__ 20240325105224.0
001412262 006__ m\\\\\o\\d\\\\\\\\
001412262 007__ cr\cn\nnnunnun
001412262 008__ 130212s1993\\\\maua\\\\ob\\\\101\0\eng\d
001412262 020__ $$a9780262291460$$q(electronic bk.)
001412262 020__ $$a0262291460$$q(electronic bk.)
001412262 020__ $$z0262731053
001412262 020__ $$z9780262731058
001412262 035__ $$a(OCoLC)827335986$$z(OCoLC)868212020
001412262 035__ $$a(OCoLC-P)827335986
001412262 040__ $$aOCoLC-P$$beng$$epn$$cOCoLC-P
001412262 050_4 $$aQA76.63$$b.I564 1993eb
001412262 08204 $$a005.131$$222
001412262 1112_ $$aInternational Conference on Logic Programming$$n(10th :$$d1993 :$$cBudapest, Hungary)
001412262 24510 $$aLogic programming :$$bproceedings of the Tenth International Conference on Logic Programming /$$cedited by David S. Warren.
001412262 260__ $$aCambridge, Mass. :$$bMIT Press,$$c©1993.
001412262 300__ $$a1 online resource (xx, 854 pages) :$$billustrations.
001412262 336__ $$atext$$btxt$$2rdacontent
001412262 337__ $$acomputer$$bc$$2rdamedia
001412262 338__ $$aonline resource$$bcr$$2rdacarrier
001412262 4901_ $$aLogic programming
001412262 500__ $$a"Papers presented at the Tenth International Conference on Logic Programming, held in Budapest, Hungary, June 21-25, 1993"--Preface.
001412262 506__ $$aAccess limited to authorized users.
001412262 5203_ $$a"The Tenth International Conference on Logic Programming, sponsored by the Association for Logic Programming, is a major forum for presentations of research, applications, and implementations in this important area of computer science. Logic programming is one of the most promising steps toward declarative programming and forms the theoretical basis of the programming language Prolog and its various extensions. Logic programming is also fundamental to work in artificial intelligence, where it has been used for nonmonotonic and commonsense reasoning, expert systems implementation, deductive databases, and applications such as computer-aided manufacturing. David S. Warren is Professor of Computer Science at the State University of New York, Stony Brook. Topics covered: Theory and Foundations. Programming Methodologies and Tools. Meta and Higher-order Programming. Parallelism. Concurrency. Deductive Databases. Implementations and Architectures. Applications. Artificial Intelligence. Constraints. Partial Deduction. Bottom-Up Evaluation. Compilation Techniques."
001412262 588__ $$aOCLC-licensed vendor bibliographic record.
001412262 650_0 $$aLogic programming$$vCongresses.
001412262 653__ $$aCOMPUTER SCIENCE/Programming Languages
001412262 655_0 $$aElectronic books
001412262 7001_ $$aWarren, David S.
001412262 852__ $$bebk
001412262 85640 $$3MIT Press$$uhttps://univsouthin.idm.oclc.org/login?url=https://doi.org/10.7551/mitpress/4305.001.0001?locatt=mode:legacy$$zOnline Access through The MIT Press Direct
001412262 85642 $$3OCLC metadata license agreement$$uhttp://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
001412262 909CO $$ooai:library.usi.edu:1412262$$pGLOBAL_SET
001412262 980__ $$aBIB
001412262 980__ $$aEBOOK
001412262 982__ $$aEbook
001412262 983__ $$aOnline