000844235 000__ 02048cam\a2200493Ii\4500
000844235 001__ 844235
000844235 005__ 20230306144831.0
000844235 006__ m\\\\\o\\d\\\\\\\\
000844235 007__ cr\cn\nnnunnun
000844235 008__ 180720s2018\\\\sz\a\\\\o\\\\\101\0\eng\d
000844235 020__ $$a9783319944609$$q(electronic book)
000844235 020__ $$a3319944606$$q(electronic book)
000844235 020__ $$z9783319944593
000844235 0247_ $$a10.1007/978-3-319-94460-9$$2doi
000844235 035__ $$aSP(OCoLC)on1045068257
000844235 035__ $$aSP(OCoLC)1045068257
000844235 040__ $$aGW5XE$$beng$$erda$$epn$$cGW5XE$$dYDX$$dOCLCF
000844235 049__ $$aISEA
000844235 050_4 $$aQA76.63
000844235 08204 $$a005.1/15$$223
000844235 1112_ $$aLOPSTR (Symposium)$$n(27th :$$d2017 :$$cNamur, Belgium)
000844235 24510 $$aLogic-based program synthesis and transformation :$$b27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised selected papers /$$cFabio Fioravanti, John P. Gallagher (eds.).
000844235 2463_ $$aLOPSTR 2017
000844235 264_1 $$aCham :$$bSpringer,$$c2018.
000844235 300__ $$a1 online resource (xvi, 341 pages) :$$billustrations.
000844235 336__ $$atext$$btxt$$2rdacontent
000844235 337__ $$acomputer$$bc$$2rdamedia
000844235 338__ $$aonline resource$$bcr$$2rdacarrier
000844235 4901_ $$aLecture notes in computer science,$$x0302-9743 ;$$v10855
000844235 4901_ $$aLNCS sublibrary. SL 1, Theoretical computer science and general issues
000844235 500__ $$aIncludes author index.
000844235 506__ $$aAccess limited to authorized users.
000844235 588__ $$aOnline resource; title from PDF title page (SpringerLink, viewed July 20, 2018).
000844235 650_0 $$aLogic programming$$vCongresses.
000844235 650_0 $$aComputer logic$$vCongresses.
000844235 650_0 $$aComputer software$$xDevelopment$$vCongresses.
000844235 7001_ $$aFioravanti, Fabio,$$eeditor.
000844235 7001_ $$aGallagher, John P.$$eeditor.
000844235 830_0 $$aLecture notes in computer science ;$$v10855.
000844235 830_0 $$aLNCS sublibrary.$$nSL 1,$$pTheoretical computer science and general issues.
000844235 852__ $$bebk
000844235 85640 $$3SpringerLink$$uhttps://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-319-94460-9$$zOnline Access$$91397441.1
000844235 909CO $$ooai:library.usi.edu:844235$$pGLOBAL_SET
000844235 980__ $$aEBOOK
000844235 980__ $$aBIB
000844235 982__ $$aEbook
000844235 983__ $$aOnline
000844235 994__ $$a92$$bISE