LEADER 02640nam 2200565 450 001 9910465001503321 005 20200520144314.0 010 $a1-4438-5967-2 035 $a(CKB)3710000000105586 035 $a(EBL)1683200 035 $a(SSID)ssj0001254799 035 $a(PQKBManifestationID)11819405 035 $a(PQKBTitleCode)TC0001254799 035 $a(PQKBWorkID)11243601 035 $a(PQKB)10799711 035 $a(MiAaPQ)EBC1683200 035 $a(Au-PeEL)EBL1683200 035 $a(CaPaEBR)ebr10870458 035 $a(CaONFJC)MIL602426 035 $a(OCoLC)879026105 035 $a(EXLCZ)993710000000105586 100 $a20140523h20142014 uy 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 00$aRecent progress in the Boolean domain /$fedited by Bernd Steinbach 210 1$aNewcastle upon Tyne, England :$cCambridge Scholars Publishing,$d2014. 210 4$dİ2014 215 $a1 online resource (458 p.) 300 $a"All sections are written from authors who presented their new results at the 10th IWSBP in September 2012 in Freiberg, Germany." 311 $a1-4438-5638-X 320 $aIncludes bibliographical references and index. 327 $aContents; List of Figures; List of Tables; Preface; Foreword; Introduction; Exceptionally ComplexBoolean Problems; 1. Boolean Rectangle Problem; 2. Four-Colored Rectangle-FreeGrids; 3. Theoretical and PracticalConcepts; Digital Circuits; 4. Design; 5. Test; Towards Future Technologies; 6. Reversible and Quantum Circuits; Bibliography; List of Authors; Index of Authors 330 $aIn today's world, people are using more and more digital systems in daily life. Such systems utilize the elementariness of Boolean values. A Boolean variable can carry only two different Boolean values: FALSE or TRUE (0 or 1), and has the best interference resistance in technical systems. However, a Boolean function exponentially depends on the number of its variables. This exponential complexity is the cause of major problems in the process of design and realization of circuits. According to... 606 $aAutomatic theorem proving$vCongresses 606 $aLogic, Symbolic and mathematical$vCongresses 608 $aElectronic books. 615 0$aAutomatic theorem proving 615 0$aLogic, Symbolic and mathematical 676 $a004.015113 702 $aSteinbach$b Bernd 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910465001503321 996 $aRecent progress in the Boolean domain$92241540 997 $aUNINA