| 000 | 01856nam a2200409 i 4500 | ||
|---|---|---|---|
| 001 | 0000183719 | ||
| 005 | 20171002064844.0 | ||
| 006 | m o d | ||
| 007 | cr cn||||||||| | ||
| 008 | 140523t20142014enka ob 101 0 eng d | ||
| 020 | _z9781443856386 | ||
| 020 | _a9781443859677 (e-book) | ||
| 035 | _a(CaPaEBR)ebr10870458 | ||
| 035 | _a(OCoLC)879026105 | ||
| 040 |
_aCaPaEBR _beng _erda _epn _cCaPaEBR |
||
| 050 | 1 | 4 |
_aQA76.9.A96 _b.R434 2014eb |
| 082 | 0 | 4 |
_a004.015113 _223 |
| 245 | 0 | 0 |
_aRecent progress in the Boolean domain / _cedited by Bernd Steinbach. |
| 264 | 1 |
_aNewcastle upon Tyne, England : _bCambridge Scholars Publishing, _c2014. |
|
| 264 | 4 | _c©2014 | |
| 300 |
_a1 online resource (458 pages) : _billustrations |
||
| 336 |
_atext _2rdacontent |
||
| 337 |
_acomputer _2rdamedia |
||
| 338 |
_aonline resource _2rdacarrier |
||
| 500 | _a"All sections are written from authors who presented their new results at the 10th IWSBP in September 2012 in Freiberg, Germany." | ||
| 504 | _aIncludes bibliographical references and index. | ||
| 588 | _aDescription based on online resource; title from PDF title page (ebrary, viewed May 21, 2014). | ||
| 590 | _aElectronic reproduction. Palo Alto, Calif. : ebrary, 2014. Available via World Wide Web. Access may be limited to ebrary affiliated libraries. | ||
| 650 | 0 |
_aAutomatic theorem proving _vCongresses. |
|
| 650 | 0 |
_aLogic, Symbolic and mathematical _vCongresses. |
|
| 655 | 0 | _aElectronic books. | |
| 700 | 1 |
_aSteinbach, Bernd, _eeditor. |
|
| 776 | 0 | 8 |
_iPrint version: _tRecent progress in the Boolean domain. _dNewcastle upon Tyne, England : Cambridge Scholars Publishing, c2014 _hxxx, 428 pages _z9781443856386 |
| 797 | 2 | _aebrary. | |
| 856 | 4 | 0 |
_uhttp://site.ebrary.com/lib/daystar/Doc?id=10870458 _zAn electronic book accessible through the World Wide Web; click to view |
| 908 | _a170314 | ||
| 942 | 0 | 0 | _cEB |
| 999 |
_c172854 _d172854 |
||