001439381 000__ 03710cam\a2200649\i\4500
001439381 001__ 1439381
001439381 003__ OCoLC
001439381 005__ 20230309004425.0
001439381 006__ m\\\\\o\\d\\\\\\\\
001439381 007__ cr\un\nnnunnun
001439381 008__ 210902s2021\\\\sz\a\\\\o\\\\\101\0\eng\d
001439381 019__ $$a1266905373
001439381 020__ $$a9783030860592$$q(electronic bk.)
001439381 020__ $$a3030860590$$q(electronic bk.)
001439381 020__ $$z9783030860585
001439381 020__ $$z3030860582
001439381 0247_ $$a10.1007/978-3-030-86059-2$$2doi
001439381 035__ $$aSP(OCoLC)1266363079
001439381 040__ $$aYDX$$beng$$erda$$epn$$cYDX$$dGW5XE$$dEBLCP$$dNOC$$dOCLCO$$dOCLCF$$dOCLCQ$$dCOM$$dOCLCO$$dOCLCQ
001439381 049__ $$aISEA
001439381 050_4 $$aQA76.9.A96$$bT33 2021eb
001439381 08204 $$a511.3/6028563$$223
001439381 1112_ $$aTABLEAUX (Conference)$$n(30th :$$d2021 :$$cBirmingham, England ; Online)
001439381 24510 $$aAutomated reasoning with analytic tableaux and related methods :$$b30th international conference, TABLEAUX 2021, Birmingham, UK, September 6-9, 2021 : proceedings /$$cAnupam Das, Sara Negri (eds.).
001439381 24630 $$aTABLEAUX 2021
001439381 264_1 $$aCham :$$bSpringer,$$c[2021]
001439381 264_4 $$c©2021
001439381 300__ $$a1 online resource :$$billustrations (some color)
001439381 336__ $$atext$$btxt$$2rdacontent
001439381 337__ $$acomputer$$bc$$2rdamedia
001439381 338__ $$aonline resource$$bcr$$2rdacarrier
001439381 4901_ $$aLecture notes in computer science. Lecture notes in artificial intelligence ;$$v12842
001439381 4901_ $$aLNCS sublibrary: SL7 - Artificial intelligence
001439381 500__ $$aInternational conference proceedings.
001439381 500__ $$aIncludes author index.
001439381 500__ $$a"Due to continued uncertainty caused by the COVID-19 pandemic, the conference was primarily held virtually, with facilities for hybrid participation available at the School of Computer Science, University of Birmingham"--Preface
001439381 5050_ $$aTableau Calculi -- Sequent Calculi -- Theorem Proving -- Formalized Proofs -- Non-Wellfounded Proofs -- Intuitionistic Modal Logics.
001439381 506__ $$aAccess limited to authorized users.
001439381 520__ $$aThis book constitutes the proceedings of the 30th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2021, held in Birmingham, UK, in September 2021. The 23 full papers and 3 system descriptions included in the volume were carefully reviewed and selected from 46 submissions. They present research on all aspects of the mechanization of tableaux-based reasoning and related methods, including theoretical foundations, implementation techniques, systems development and applications. The papers are organized in the following topical sections: tableau calculi, sequent calculi, theorem proving, formalized proofs, non-wellfounded proofs, automated theorem provers, and intuitionistic modal logics.
001439381 588__ $$aOnline resource; title from PDF title page (SpringerLink, viewed September 8, 2021).
001439381 650_0 $$aAutomatic theorem proving$$vCongresses.
001439381 650_6 $$aThéorèmes$$xDémonstration automatique$$vCongrès.
001439381 655_7 $$aConference papers and proceedings.$$2fast$$0(OCoLC)fst01423772
001439381 655_7 $$aConference papers and proceedings.$$2lcgft
001439381 655_7 $$aActes de congrès.$$2rvmgf
001439381 655_0 $$aElectronic books.
001439381 7001_ $$aDas, Anupam,$$eeditor.
001439381 7001_ $$aNegri, Sara,$$d1967-$$eeditor.
001439381 830_0 $$aLecture notes in computer science ;$$v12842.
001439381 830_0 $$aLecture notes in computer science.$$pLecture notes in artificial intelligence.
001439381 830_0 $$aLNCS sublibrary.$$nSL 7,$$pArtificial intelligence.
001439381 852__ $$bebk
001439381 85640 $$3Springer Nature$$uhttps://univsouthin.idm.oclc.org/login?url=https://link.springer.com/10.1007/978-3-030-86059-2$$zOnline Access$$91397441.1
001439381 909CO $$ooai:library.usi.edu:1439381$$pGLOBAL_SET
001439381 980__ $$aBIB
001439381 980__ $$aEBOOK
001439381 982__ $$aEbook
001439381 983__ $$aOnline
001439381 994__ $$a92$$bISE