000799719 000__ 04174cam\a2200589Ii\4500
000799719 001__ 799719
000799719 005__ 20230306143640.0
000799719 006__ m\\\\\o\\d\\\\\\\\
000799719 007__ cr\un\nnnunnun
000799719 008__ 170908s2017\\\\sz\a\\\\o\\\\\101\0\eng\d
000799719 019__ $$a1003087659$$a1005004048
000799719 020__ $$a9783319661674$$q(electronic book)
000799719 020__ $$a3319661671$$q(electronic book)
000799719 020__ $$z9783319661667
000799719 020__ $$z3319661663
000799719 0247_ $$a10.1007/978-3-319-66167-4$$2doi
000799719 035__ $$aSP(OCoLC)on1003191654
000799719 035__ $$aSP(OCoLC)1003191654$$z(OCoLC)1003087659$$z(OCoLC)1005004048
000799719 040__ $$aGW5XE$$beng$$erda$$epn$$cGW5XE$$dYDX$$dAZU$$dOCLCF$$dDKDLA$$dNJR
000799719 049__ $$aISEA
000799719 050_4 $$aQA9.A1
000799719 08204 $$a005.1/31$$223
000799719 1112_ $$aFroCoS (Symposium)$$n(11th :$$d2017 :$$cBrasília, Brazil)
000799719 24510 $$aFrontiers of combining systems :$$b11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings /$$cClare Dixon, Marcelo Finger (eds.).
000799719 2463_ $$aFroCoS 2017
000799719 264_1 $$aCham, Switzerland :$$bSpringer,$$c2017.
000799719 300__ $$a1 online resource (x, 351 pages) :$$billustrations.
000799719 336__ $$atext$$btxt$$2rdacontent
000799719 337__ $$acomputer$$bc$$2rdamedia
000799719 338__ $$aonline resource$$bcr$$2rdacarrier
000799719 347__ $$atext file$$bPDF$$2rda
000799719 4901_ $$aLecture notes in computer science,$$x0302-9743 ;$$v10483
000799719 4901_ $$aLecture notes in artificial intelligence
000799719 4901_ $$aLNCS sublibrary. SL 7, Artificial intelligence
000799719 500__ $$aInternational conference proceedings.
000799719 500__ $$aIncludes author index.
000799719 5050_ $$aFoundational (Co)datatypes and (Co)recursion for Higher-Order Logic -- Designing Theory Solvers with Extensions -- First-Order Interpolation of Non-Classical Logics Derived from Propositional Interpolation -- A New Description Logic with Set Constraints and Cardinality Constraints on Role Successors -- Interpolation, Amalgamation and Combination (the Non-disjoint Signatures Case) -- Subtropical Satisfiability -- Finitariness of Elementary Unification in Boolean Region Connection Calculus -- Metric Temporal Description Logics with Interval-Rigid Names -- Superposition with Integrated Induction -- The Bernays-Schönfinkel-Ramsey Fragment with Bounded Difference Constraints over the Reals is Decidable -- Decidable Verification of Decision-Theoretic Golog -- Pushing the Boundaries of Reasoning About Qualified Cardinality Restrictions -- Complexity Analysis for Term Rewriting by Integer Transition Systems -- Using Ontologies to Query Probabilistic Numerical Data -- Merging Fragments of Classical Logic -- On Solving Nominal Fixpoint Equations -- Parallel Closure Theorem for Left-Linear Nominal Rewriting Systems -- Solving SAT and MaxSAT with a Quantum Annealer: Foundations and a Preliminary Report -- The Boolean Solution Problem from the Perspective of Predicate Logic. .
000799719 506__ $$aAccess limited to authorized users.
000799719 520__ $$aThis book constitutes the proceedings of the 11th International Symposium on Frontiers of Combining Systems, FroCoS 2017, held in Brasília, Bazil, in September 2017.   The 17 papers presented in this volume were carefully reviewed and selected from 26 submissions. They were organized in topical sections named: description and temporal logics, decision procedures, decidability and verification, SAT, SMT and automated theorem proving, term rewriting, and properties and combinations of logics.
000799719 588__ $$aOnline resource; title from PDF title page (SpringerLink, viewed September 8, 2017).
000799719 650_0 $$aLogic, Symbolic and mathematical$$vCongresses.
000799719 650_0 $$aComputer science$$vCongresses.
000799719 7001_ $$aDixon, Clare,$$eeditor.
000799719 7001_ $$aFinger, Marcelo,$$eeditor.
000799719 77608 $$iPrint version:$$z9783319661667
000799719 830_0 $$aLecture notes in computer science ;$$v10483.$$x0302-9743
000799719 830_0 $$aLecture notes in computer science.$$pLecture notes in artificial intelligence.
000799719 830_0 $$aLNCS sublibrary.$$nSL 7,$$pArtificial intelligence.
000799719 852__ $$bebk
000799719 85640 $$3SpringerLink$$uhttps://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-319-66167-4$$zOnline Access$$91397441.1
000799719 909CO $$ooai:library.usi.edu:799719$$pGLOBAL_SET
000799719 980__ $$aEBOOK
000799719 980__ $$aBIB
000799719 982__ $$aEbook
000799719 983__ $$aOnline
000799719 994__ $$a92$$bISE