000755971 000__ 03367cam\a2200505Ii\4500
000755971 001__ 755971
000755971 005__ 20230306141823.0
000755971 006__ m\\\\\o\\d\\\\\\\\
000755971 007__ cr\cn\nnnunnun
000755971 008__ 160620s2016\\\\sz\a\\\\ob\\\\101\0\eng\d
000755971 020__ $$a9783319402291$$q(electronic book)
000755971 020__ $$a3319402293$$q(electronic book)
000755971 020__ $$z9783319402284
000755971 0247_ $$a10.1007/978-3-319-40229-1$$2doi
000755971 035__ $$aSP(OCoLC)ocn951903183
000755971 035__ $$aSP(OCoLC)951903183
000755971 040__ $$aGW5XE$$beng$$erda$$epn$$cGW5XE$$dOCLCO$$dYDXCP$$dOCLCF$$dOCLCO$$dUPM
000755971 049__ $$aISEA
000755971 050_4 $$aQA76.9.A96
000755971 08204 $$a511.3/6028563$$223
000755971 1112_ $$aIJCAR (Conference)$$n(8th :$$d2016 :$$cCoimbra, Portugal)
000755971 24510 $$aAutomated reasoning$$h[electronic resource] :$$b8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27-July 2, 2016, Proceedings /$$cNicola Olivetti, Ashish Tiwari (eds.)
000755971 2463_ $$aIJCAR 2016
000755971 264_1 $$aSwitzerland :$$bSpringer,$$c2016.
000755971 300__ $$a1 online resource (xx, 580 pages) :$$billustrations.
000755971 336__ $$atext$$btxt$$2rdacontent
000755971 337__ $$acomputer$$bc$$2rdamedia
000755971 338__ $$aonline resource$$bcr$$2rdacarrier
000755971 4901_ $$aLecture notes in artificial intelligence,$$x0302-9743 ;$$v9706
000755971 4901_ $$aLNCS sublibrary. SL 7, Artificial intelligence
000755971 504__ $$aIncludes bibliographical references and author index.
000755971 5050_ $$aSatisfiabiliy of Boolean Formulas -- Satisfiability Modulo Theory -- Rewriting -- Arithmetic Reasoning and Mechanizing Mathematics -- First-order Logic and Proof Theory -- First-order Theorem Proving -- Higher-order Theorem Proving -- Modal and Temporal Logics -- Non-classical Logics -- Verification.
000755971 506__ $$aAccess limited to authorized users.
000755971 520__ $$aThis book constitutes the refereed proceedings of the 8th International Joint Conference on Automated Reasoning, IJCAR 2016, held in Coimbra, Portugal, in June/July 2016. IJCAR 2014 was a merger of three leading events in automated reasoning, namely CADE (International Conference on Automated Deduction), FroCoS (International Symposium on Frontiers of Combining Systems) and TABLEAUX (International Conference on Automated Reasoning with Analytic Tableaux and Related Methods). The 26 revised full research papers and 9 system descriptions presented together with 4 invited talks were carefully reviewed and selected from 79 submissions. The papers have been organized in topical sections on satisfiability of Boolean formulas, satisfiability modulo theory, rewriting, arithmetic reasoning and mechanizing mathematics, first-order logic and proof theory, first-order theorem proving, higher-order theorem proving, modal and temporal logics, non-classical logics, and verification.
000755971 588__ $$aOnline resource; title from PDF title page (SpringerLink, viewed June 20, 2016).
000755971 650_0 $$aAutomatic theorem proving$$vCongresses.
000755971 650_0 $$aComputer logic$$vCongresses.
000755971 7001_ $$aOlivetti, Nicola,$$eeditor.
000755971 7001_ $$aTiwari, Ashish,$$d1973-$$eeditor.
000755971 830_0 $$aLecture notes in computer science.$$pLecture notes in artificial intelligence ;$$v9706.
000755971 830_0 $$aLNCS sublibrary.$$nSL 7,$$pArtificial intelligence.
000755971 852__ $$bebk
000755971 85640 $$3SpringerLink$$uhttps://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-319-40229-1$$zOnline Access$$91397441.1
000755971 909CO $$ooai:library.usi.edu:755971$$pGLOBAL_SET
000755971 980__ $$aEBOOK
000755971 980__ $$aBIB
000755971 982__ $$aEbook
000755971 983__ $$aOnline
000755971 994__ $$a92$$bISE