000756468 000__ 02097cam\a2200493Ii\4500
000756468 001__ 756468
000756468 005__ 20230306142017.0
000756468 006__ m\\\\\o\\d\\\\\\\\
000756468 007__ cr\cn\nnnunnun
000756468 008__ 160718s2016\\\\sz\a\\\\o\\\\\101\0\eng\d
000756468 020__ $$a9783319425474$$q(electronic book)
000756468 020__ $$a3319425471$$q(electronic book)
000756468 020__ $$z9783319425467
000756468 035__ $$aSP(OCoLC)ocn953695611
000756468 035__ $$aSP(OCoLC)953695611
000756468 040__ $$aGW5XE$$beng$$erda$$epn$$cGW5XE$$dOCLCO$$dYDXCP
000756468 049__ $$aISEA
000756468 050_4 $$aQA76.9.M35$$bI58 2016eb
000756468 08204 $$a004.01/51$$223
000756468 1112_ $$aCICM (Conference)$$n(9th :$$d2016 :$$cBialystok, Poland)
000756468 24510 $$aIntelligent computer mathematics$$h[electronic resource] :$$b9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016. Proceedings /$$cMichael Kohlhase, Moa Johansson, Bruce Miller, Leonardo de Moura, Frank Tompa (eds.).
000756468 264_1 $$aSwitzerland :$$bSpringer,$$c2016.
000756468 300__ $$a1 online resource (xv, 384 pages) :$$billustrations (black and white).
000756468 336__ $$atext$$btxt$$2rdacontent
000756468 337__ $$acomputer$$bc$$2rdamedia
000756468 338__ $$aonline resource$$bcr$$2rdacarrier
000756468 4901_ $$aLecture notes in artificial intelligence ;$$v9791
000756468 4901_ $$aLNCS sublibrary. SL 7, Artificial intelligence
000756468 500__ $$aInternational conference proceedings.
000756468 500__ $$aIncludes author index.
000756468 506__ $$aAccess limited to authorized users.
000756468 650_0 $$aComputer science$$xMathematics$$vCongresses.
000756468 650_0 $$aArtificial intelligence$$xMathematics$$vCongresses.
000756468 7001_ $$aKohlhase, Michael,$$d1964-$$eeditor.
000756468 7001_ $$aJohansson, Moa,$$eeditor.
000756468 7001_ $$aMiller, Bruce,$$eeditor.
000756468 7001_ $$aMoura, Leonardo de,$$eeditor.
000756468 7001_ $$aTompa, Frank,$$eeditor.
000756468 830_0 $$aLecture notes in computer science.$$pLecture notes in artificial intelligence ;$$v9791.
000756468 830_0 $$aLNCS sublibrary.$$nSL 7,$$pArtificial intelligence.
000756468 852__ $$bebk
000756468 85640 $$3SpringerLink$$uhttps://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-319-42547-4$$zOnline Access$$91397441.1
000756468 909CO $$ooai:library.usi.edu:756468$$pGLOBAL_SET
000756468 980__ $$aEBOOK
000756468 980__ $$aBIB
000756468 982__ $$aEbook
000756468 983__ $$aOnline
000756468 994__ $$a92$$bISE