TY  - BOOK
AU  - Steinbach,Bernd
TI  - Recent progress in the Boolean domain
AV  - QA76.9.A96 .R434 2014eb
U1  - 004.015113 23
PY  - 2014///
CY  - Newcastle upon Tyne, England
PB  - Cambridge Scholars Publishing
KW  - Automatic theorem proving
KW  - Congresses
KW  - Logic, Symbolic and mathematical
KW  - Electronic books
N1  - "All sections are written from authors who presented their new results at the 10th IWSBP in September 2012 in Freiberg, Germany."; Includes bibliographical references and index
UR  - http://site.ebrary.com/lib/daystar/Doc?id=10870458
ER  -