000734015 000__ 01992cam\a2200469Ii\4500
000734015 001__ 734015
000734015 005__ 20230306141117.0
000734015 006__ m\\\\\o\\d\\\\\\\\
000734015 007__ cr\cn\nnnunnun
000734015 008__ 150917s2015\\\\sz\a\\\\o\\\\\101\0\eng\d
000734015 020__ $$a9783319243122$$qelectronic book
000734015 020__ $$a3319243128$$qelectronic book
000734015 020__ $$z9783319243115
000734015 0247_ $$a10.1007/978-3-319-24312-2$$2doi
000734015 035__ $$aSP(OCoLC)ocn921302601
000734015 035__ $$aSP(OCoLC)921302601
000734015 040__ $$aGW5XE$$beng$$erda$$epn$$cGW5XE$$dOCLCO$$dOCLCF$$dOCLCO
000734015 049__ $$aISEA
000734015 050_4 $$aQA76.9.A96
000734015 08204 $$a511.3/6028563$$223
000734015 1112_ $$aTABLEAUX (Conference)$$n(24th :$$d2015 :$$cWrocław, Poland)
000734015 24510 $$aAutomated reasoning with analytic tableaux and related methods$$h[electronic resource] :$$b24th International Conference, TABLEAUX 2015, Wrocław, Poland, September 21-24, 2015. Proceedings /$$cHans De Nivelle (ed.).
000734015 2463_ $$aTABLEAUX 2015
000734015 264_1 $$aCham :$$bSpringer,$$c2015.
000734015 300__ $$a1 online resource (xi, 342 pages) :$$billustrations.
000734015 336__ $$atext$$btxt$$2rdacontent
000734015 337__ $$acomputer$$bc$$2rdamedia
000734015 338__ $$aonline resource$$bcr$$2rdacarrier
000734015 4901_ $$aLecture notes in artificial intelligence,$$x0302-9743 ;$$v9323
000734015 4901_ $$aLNCS sublibrary. SL 7, Artificial intelligence
000734015 500__ $$aInternational conference proceedings.
000734015 500__ $$aIncludes author index.
000734015 506__ $$aAccess limited to authorized users.
000734015 588__ $$aOnline resource; title from PDF title page (SpringerLink, viewed September 17, 2015).
000734015 650_0 $$aAutomatic theorem proving$$vCongresses.
000734015 7001_ $$aNivelle, Hans,$$eeditor.
000734015 830_0 $$aLecture notes in computer science.$$pLecture notes in artificial intelligence ;$$v9323.
000734015 830_0 $$aLNCS sublibrary.$$nSL 7,$$pArtificial intelligence.
000734015 852__ $$bebk
000734015 85640 $$3SpringerLink$$uhttps://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-319-24312-2$$zOnline Access$$91397441.1
000734015 909CO $$ooai:library.usi.edu:734015$$pGLOBAL_SET
000734015 980__ $$aEBOOK
000734015 980__ $$aBIB
000734015 982__ $$aEbook
000734015 983__ $$aOnline
000734015 994__ $$a92$$bISE