001431487 000__ 02576cam\a2200577\i\4500
001431487 001__ 1431487
001431487 003__ OCoLC
001431487 005__ 20230308003238.0
001431487 006__ m\\\\\o\\d\\\\\\\\
001431487 007__ cr\un\nnnunnun
001431487 008__ 220803s2022\\\\sz\a\\\\o\\\\\101\0\eng\d
001431487 020__ $$a9783031107696$$q(electronic bk.)
001431487 020__ $$a3031107691$$q(electronic bk.)
001431487 020__ $$z9783031107689$$q(print)
001431487 0247_ $$a10.1007/978-3-031-10769-6$$2doi
001431487 035__ $$aSP(OCoLC)1338199767
001431487 040__ $$aGW5XE$$beng$$erda$$epn$$cGW5XE$$dEBLCP$$dYDX$$dOCLCF$$dOCLCQ
001431487 049__ $$aISEA
001431487 050_4 $$aQA76.9.A96
001431487 08204 $$a511.3/6028563$$223/eng/20220803
001431487 1112_ $$aIJCAR (Conference)$$n(11th :$$d2022 :$$cHaifa, Israel)
001431487 24510 $$aAutomated reasoning :$$b11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings /$$cJasmin Blanchette, Laura Kovács, Dirk Pattinson (eds.).
001431487 2463_ $$aIJCAR 2022
001431487 264_1 $$aCham, Switzerland :$$bSpringer,$$c2022.
001431487 300__ $$a1 online resource (xv, 756 pages) :$$billustrations (some color).
001431487 336__ $$atext$$btxt$$2rdacontent
001431487 337__ $$acomputer$$bc$$2rdamedia
001431487 338__ $$aonline resource$$bcr$$2rdacarrier
001431487 4901_ $$aLecture notes in artificial intelligence
001431487 4901_ $$aLecture notes in computer science ;$$v13385
001431487 4901_ $$aLNCS sublibrary. SL 7, Artificial intelligence
001431487 500__ $$aIncludes author index.
001431487 5060_ $$aOpen access.$$5GW5XE
001431487 520__ $$aThis is an open access book. It is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.
001431487 588__ $$aOnline resource; title from PDF title page (SpringerLink, viewed August 3, 2022).
001431487 650_0 $$aAutomatic theorem proving$$vCongresses.
001431487 650_0 $$aComputer logic$$vCongresses.
001431487 655_7 $$aConference papers and proceedings.$$2fast$$0(OCoLC)fst01423772
001431487 655_0 $$aElectronic books.
001431487 7001_ $$aBlanchette, Jasmin,$$eeditor.$$1https://orcid.org/0000-0002-8367-0936
001431487 7001_ $$aKovács, Laura,$$eeditor.$$0(orcid)0000-0002-8299-2714$$1https://orcid.org/0000-0002-8299-2714
001431487 7001_ $$aPattinson, Dirk,$$d1970-$$eeditor.$$1https://orcid.org/0000-0002-5832-6666
001431487 830_0 $$aLecture notes in computer science.$$pLecture notes in artificial intelligence.
001431487 830_0 $$aLecture notes in computer science ;$$v13385.
001431487 830_0 $$aLNCS sublibrary.$$nSL 7,$$pArtificial intelligence.
001431487 852__ $$bebk
001431487 85640 $$3Springer Nature$$uhttps://link.springer.com/10.1007/978-3-031-10769-6$$zOnline Access$$91397441.2
001431487 909CO $$ooai:library.usi.edu:1431487$$pGLOBAL_SET
001431487 980__ $$aBIB
001431487 980__ $$aEBOOK
001431487 982__ $$aEbook
001431487 983__ $$aOnline
001431487 994__ $$a92$$bISE