TY  - GEN
T1  - Recent progress in the Boolean domain
AU  - Steinbach, Bernd,
CN  - QA76.9.A96
N1  - "All sections are written from authors who presented their new results at the 10th IWSBP in September 2012 in Freiberg, Germany."
ID  - 743308
KW  - Automatic theorem proving
KW  - Logic, Symbolic and mathematical
SN  - 9781443859677
TI  - Recent progress in the Boolean domain
LK  - https://univsouthin.idm.oclc.org/login?url=http://site.ebrary.com/lib/usiricelib/Doc?id=10870458
UR  - https://univsouthin.idm.oclc.org/login?url=http://site.ebrary.com/lib/usiricelib/Doc?id=10870458
ER  -