000844149 000__ 02540cam\a2200577Ii\4500
000844149 001__ 844149
000844149 005__ 20230306144827.0
000844149 006__ m\\\\\o\\d\\\\\\\\
000844149 007__ cr\cn\nnnunnun
000844149 008__ 180716s2018\\\\sz\a\\\\ob\\\\101\0\eng\d
000844149 019__ $$a1043884056
000844149 020__ $$a9783319942056$$q(electronic book)
000844149 020__ $$a3319942050$$q(electronic book)
000844149 020__ $$z9783319942049
000844149 020__ $$z3319942042
000844149 0247_ $$a10.1007/978-3-319-94205-6$$2doi
000844149 035__ $$aSP(OCoLC)on1044734744
000844149 035__ $$aSP(OCoLC)1044734744$$z(OCoLC)1043884056
000844149 040__ $$aGW5XE$$beng$$erda$$epn$$cGW5XE$$dYDX$$dOCLCF
000844149 049__ $$aISEA
000844149 050_4 $$aQA76.9.A96
000844149 08204 $$a511.3/6028563$$223
000844149 1112_ $$aIJCAR (Conference)$$n(9th :$$d2018 :$$cOxford, England)
000844149 24510 $$aAutomated reasoning :$$b9th International Joint Conference, IJCAR 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, proceedings /$$cDidier Galmiche, Stephan Schulz, Roberto Sebastiani (eds.).
000844149 2463_ $$aIJCAR 2018
000844149 264_1 $$aCham, Switzerland :$$bSpringer,$$c2018.
000844149 300__ $$a1 online resource (xvi, 724 pages) :$$billustrations.
000844149 336__ $$atext$$btxt$$2rdacontent
000844149 337__ $$acomputer$$bc$$2rdamedia
000844149 338__ $$aonline resource$$bcr$$2rdacarrier
000844149 4901_ $$aLecture notes in computer science,$$x0302-9743 ;$$v10900
000844149 4901_ $$aLecture notes in artificial intelligence
000844149 4901_ $$aLNCS sublibrary. SL 7, Artificial intelligence
000844149 500__ $$aInternational conference proceedings.
000844149 504__ $$aIncludes bibliographical references and author index.
000844149 506__ $$aAccess limited to authorized users.
000844149 588__ $$aOnline resource; title from PDF title page (SpringerLink, viewed July 16, 2018).
000844149 650_0 $$aAutomatic theorem proving$$vCongresses.
000844149 650_0 $$aComputer logic$$vCongresses.
000844149 7001_ $$aGalmiche, Didier,$$d1958-$$eeditor.
000844149 7001_ $$aSchulz, Stephan,$$eeditor.
000844149 7001_ $$aSebastiani, R.$$q(Roberto),$$eeditor.
000844149 7112_ $$aFederated Logic Conference$$d(2018 :$$cOxford, England),$$jjointly held conference.
000844149 77608 $$iPrint version: $$z3319942042$$z9783319942049$$w(OCoLC)1037289807
000844149 830_0 $$aLecture notes in computer science ;$$v10900.
000844149 830_0 $$aLecture notes in computer science.$$pLecture notes in artificial intelligence.
000844149 830_0 $$aLNCS sublibrary.$$nSL 7,$$pArtificial intelligence.
000844149 852__ $$bebk
000844149 85640 $$3SpringerLink$$uhttps://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-319-94205-6$$zOnline Access$$91397441.1
000844149 909CO $$ooai:library.usi.edu:844149$$pGLOBAL_SET
000844149 980__ $$aEBOOK
000844149 980__ $$aBIB
000844149 982__ $$aEbook
000844149 983__ $$aOnline
000844149 994__ $$a92$$bISE