000743308 000__ 01744cam\a2200385\i\4500
000743308 001__ 743308
000743308 005__ 20210515112137.0
000743308 006__ m\\\\\o\\d\\\\\\\\
000743308 007__ cr\cn\nnnunnun
000743308 008__ 140523t20142014enka\\\\ob\\\\101\0\eng\d
000743308 020__ $$z9781443856386
000743308 020__ $$a9781443859677$$qelectronic book
000743308 035__ $$a(CaPaEBR)ebr10870458
000743308 035__ $$a(OCoLC)879026105
000743308 040__ $$aCaPaEBR$$beng$$erda$$epn$$cCaPaEBR
000743308 05014 $$aQA76.9.A96$$b.R434 2014eb
000743308 08204 $$a004.015113$$223
000743308 24500 $$aRecent progress in the Boolean domain$$h[electronic resource] /$$cedited by Bernd Steinbach.
000743308 264_1 $$aNewcastle upon Tyne, England :$$bCambridge Scholars Publishing,$$c2014.
000743308 264_4 $$c©2014
000743308 300__ $$a1 online resource (458 pages) :$$billustrations
000743308 336__ $$atext$$2rdacontent
000743308 337__ $$acomputer$$2rdamedia
000743308 338__ $$aonline resource$$2rdacarrier
000743308 500__ $$a"All sections are written from authors who presented their new results at the 10th IWSBP in September 2012 in Freiberg, Germany."
000743308 504__ $$aIncludes bibliographical references and index.
000743308 506__ $$aAccess limited to authorized users.
000743308 588__ $$aDescription based on online resource; title from PDF title page (ebrary, viewed May 21, 2014).
000743308 650_0 $$aAutomatic theorem proving$$vCongresses.
000743308 650_0 $$aLogic, Symbolic and mathematical$$vCongresses.
000743308 7001_ $$aSteinbach, Bernd,$$eeditor.
000743308 77608 $$iPrint version:$$tRecent progress in the Boolean domain.$$dNewcastle upon Tyne, England : Cambridge Scholars Publishing, c2014 $$z9781443856386
000743308 852__ $$bebk
000743308 85640 $$3ProQuest Ebook Central Academic Complete$$uhttps://univsouthin.idm.oclc.org/login?url=http://site.ebrary.com/lib/usiricelib/Doc?id=10870458$$zOnline Access
000743308 909CO $$ooai:library.usi.edu:743308$$pGLOBAL_SET
000743308 980__ $$aEBOOK
000743308 980__ $$aBIB
000743308 982__ $$aEbook
000743308 983__ $$aOnline