000733949 000__ 02239cam\a2200529Ii\4500
000733949 001__ 733949
000733949 005__ 20230306141113.0
000733949 006__ m\\\\\o\\d\\\\\\\\
000733949 007__ cr\cn\nnnunnun
000733949 008__ 150911s2015\\\\sz\a\\\\o\\\\\111\0\eng\d
000733949 020__ $$a9783319235349$$qelectronic book
000733949 020__ $$a3319235346$$qelectronic book
000733949 020__ $$z9783319235332
000733949 0247_ $$a10.1007/978-3-319-23534-9$$2doi
000733949 035__ $$aSP(OCoLC)ocn920893938
000733949 035__ $$aSP(OCoLC)920893938
000733949 040__ $$aGW5XE$$beng$$erda$$epn$$cGW5XE$$dOCLCO$$dOCLCF$$dOCLCO
000733949 049__ $$aISEA
000733949 050_4 $$aQA76.9.L63
000733949 08204 $$a005.101/5113$$223
000733949 24500 $$aFields of logic and computation II$$h[electronic resource] :$$bessays dedicated to Yuri Gurevich on the occasion of his 75th birthday /$$cLev D. Beklemishev, Andreas Blass, Nachum Dershowitz, Bernd Finkbeiner, Wolfram Schulte (eds.).
000733949 264_1 $$aCham :$$bSpringer,$$c2015.
000733949 300__ $$a1 online resource (x, 319 pages) :$$billustrations.
000733949 336__ $$atext$$btxt$$2rdacontent
000733949 337__ $$acomputer$$bc$$2rdamedia
000733949 338__ $$aonline resource$$bcr$$2rdacarrier
000733949 4901_ $$aLecture notes in computer science,$$x0302-9743 ;$$v9300
000733949 4901_ $$aLNCS sublibrary. SL 2, Programming and software engineering
000733949 500__ $$aIncludes author index.
000733949 506__ $$aAccess limited to authorized users.
000733949 588__ $$aOnline resource; title from PDF title page (SpringerLink, viewed September 11, 2015).
000733949 650_0 $$aComputer logic$$vCongresses.
000733949 650_0 $$aSoftware engineering$$vCongresses.
000733949 650_0 $$aComputer science$$xMathematics$$vCongresses.
000733949 7001_ $$aGurevich, Yuri,$$ehonouree.
000733949 7001_ $$aBeklemishev, Lev Dmitrievich,$$d1967-$$eeditor.
000733949 7001_ $$aBlass, Andreas,$$d1947-$$eeditor.
000733949 7001_ $$aDershowitz, Nachum,$$eeditor.
000733949 7001_ $$aFinkbeiner, Bernd,$$eeditor.
000733949 7001_ $$aSchulte, Wolfram,$$eeditor.
000733949 7112_ $$aYurifest (Symposium)$$n(2nd :$$d2015 :$$cBerlin, Germany)
000733949 830_0 $$aLecture notes in computer science ;$$v9300.
000733949 830_0 $$aLNCS sublibrary.$$nSL 2,$$pProgramming and software engineering.
000733949 852__ $$bebk
000733949 85640 $$3SpringerLink$$uhttps://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-319-23534-9$$zOnline Access$$91397441.1
000733949 909CO $$ooai:library.usi.edu:733949$$pGLOBAL_SET
000733949 980__ $$aEBOOK
000733949 980__ $$aBIB
000733949 982__ $$aEbook
000733949 983__ $$aOnline
000733949 994__ $$a92$$bISE