000799737 000__ 02163cam\a2200505Ii\4500
000799737 001__ 799737
000799737 005__ 20230306143641.0
000799737 006__ m\\\\\o\\d\\\\\\\\
000799737 007__ cr\un\nnnunnun
000799737 008__ 170908s2017\\\\sz\a\\\\o\\\\\101\0\eng\d
000799737 020__ $$a9783319669021$$q(electronic book)
000799737 020__ $$a3319669028$$q(electronic book)
000799737 020__ $$z9783319669014
000799737 0247_ $$a10.1007/978-3-319-66902-1$$2doi
000799737 035__ $$aSP(OCoLC)on1003193659
000799737 035__ $$aSP(OCoLC)1003193659
000799737 040__ $$aGW5XE$$beng$$erda$$epn$$cGW5XE$$dYDX$$dOCLCF
000799737 049__ $$aISEA
000799737 050_4 $$aQA76.9.A96
000799737 08204 $$a511.3/6028563$$223
000799737 1112_ $$aTABLEAUX (Conference)$$n(26th :$$d2017 :$$cBrasília, Brazil)
000799737 24510 $$aAutomated reasoning with analytic tableaux and related methods :$$b26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25-28, 2017, Proceedings /$$cedited by Renate A. Schmidt, Cláudia Nalon (eds.).
000799737 2463_ $$aTABLEAUX 2016
000799737 264_1 $$aCham, Switzerland :$$bSpringer,$$c2017.
000799737 300__ $$a1 online resource (xii, 381 pages) :$$billustrations.
000799737 336__ $$atext$$btxt$$2rdacontent
000799737 337__ $$acomputer$$bc$$2rdamedia
000799737 338__ $$aonline resource$$bcr$$2rdacarrier
000799737 4901_ $$aLecture notes in computer science,$$x0302-9743 ;$$v10501
000799737 4901_ $$aLecture notes in artificial intelligence
000799737 4901_ $$aLNCS sublibrary. SL 7, Artificial intelligence
000799737 500__ $$aInternational conference proceedings.
000799737 500__ $$aIncludes author index.
000799737 506__ $$aAccess limited to authorized users.
000799737 588__ $$aOnline resource; title from PDF title page (SpringerLink, viewed September 9, 2017).
000799737 650_0 $$aAutomatic theorem proving$$vCongresses.
000799737 7001_ $$aSchmidt, Renate A.,$$eeditor.
000799737 7001_ $$aNalon, Cláudia,$$eeditor.
000799737 830_0 $$aLecture notes in computer science ;$$v10501.
000799737 830_0 $$aLecture notes in computer science.$$pLecture notes in artificial intelligence.
000799737 830_0 $$aLNCS sublibrary.$$nSL 7,$$pArtificial intelligence.
000799737 852__ $$bebk
000799737 85640 $$3SpringerLink$$uhttps://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-319-66902-1$$zOnline Access$$91397441.1
000799737 909CO $$ooai:library.usi.edu:799737$$pGLOBAL_SET
000799737 980__ $$aEBOOK
000799737 980__ $$aBIB
000799737 982__ $$aEbook
000799737 983__ $$aOnline
000799737 994__ $$a92$$bISE