000913673 000__ 02109cam\a2200493Ii\4500
000913673 001__ 913673
000913673 005__ 20230306150345.0
000913673 006__ m\\\\\o\\d\\\\\\\\
000913673 007__ cr\cn\nnnunnun
000913673 008__ 190911s2019\\\\sz\a\\\\ob\\\\101\0\eng\d
000913673 020__ $$a9783030294366$$q(electronic book)
000913673 020__ $$a3030294366$$q(electronic book)
000913673 020__ $$z9783030294359
000913673 0247_ $$a10.1007/978-3-030-29436-6$$2doi
000913673 035__ $$aSP(OCoLC)on1118695171
000913673 035__ $$aSP(OCoLC)1118695171
000913673 040__ $$aGW5XE$$beng$$erda$$epn$$cGW5XE
000913673 049__ $$aISEA
000913673 050_4 $$aQA76.9.A96$$bI58 2019eb
000913673 08204 $$a511.3/6028563$$223
000913673 1112_ $$aInternational Conference on Automated Deduction$$n(27th :$$d2019 :$$cNatal, Brazil)
000913673 24510 $$aAutomated deduction -- CADE 27 :$$b27th international conference on automated deduction, Natal, Brazil, August 27-30, 2019 : proceedings /$$cPascal Fontaine (ed.).
000913673 264_1 $$aCham :$$bSpringer,$$c[2019]
000913673 264_4 $$c©2019
000913673 300__ $$a1 online resource :$$billustrations.
000913673 336__ $$atext$$btxt$$2rdacontent
000913673 337__ $$acomputer$$bc$$2rdamedia
000913673 338__ $$aonline resource$$bcr$$2rdacarrier
000913673 4901_ $$aLecture notes in artificial intelligence,$$x0302-9743 ;$$v11716
000913673 4901_ $$aLNCS sublibrary. SL 7, Artificial intelligence
000913673 504__ $$aIncludes bibliographical references and index.
000913673 506__ $$aAccess limited to authorized users.
000913673 588__ $$aOnline resource; title from PDF title page (SpringerLink, viewed September 11, 2019).
000913673 650_0 $$aAutomatic theorem proving$$vCongresses.
000913673 650_0 $$aLogic, Symbolic and mathematical$$vCongresses.
000913673 655_7 $$aConference papers and proceedings.
000913673 7001_ $$aFontaine, Pascal$$c(Professor of Computer Science),$$eeditor.
000913673 830_0 $$aLecture notes in computer science ;$$v11716.
000913673 830_0 $$aLecture notes in computer science.$$pLecture notes in artificial intelligence.
000913673 830_0 $$aLNCS sublibrary.$$nSL 7,$$pArtificial intelligence.
000913673 852__ $$bebk
000913673 85640 $$3SpringerLink$$uhttps://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-030-29436-6$$zOnline Access$$91397441.1
000913673 909CO $$ooai:library.usi.edu:913673$$pGLOBAL_SET
000913673 980__ $$aEBOOK
000913673 980__ $$aBIB
000913673 982__ $$aEbook
000913673 983__ $$aOnline
000913673 994__ $$a92$$bISE