TY  - GEN
T1  - Recent progress in the Boolean domain
A2  - Steinbach, Bernd,
LA  - English
PP  - Newcastle upon Tyne, England
PB  - Cambridge Scholars Publishing
YR  - 2014
UL  - https://colectivo.uloyola.es/Record/ELB148465
OP  - 458
NO  - "All sections are written from authors who presented their new results at the 10th IWSBP in September 2012 in Freiberg, Germany."
CN  - QA76.9.A96 .R434 2014
SN  - 9781443859677 (e-book)
KW  - Automatic theorem proving : Congresses.
KW  - Logic, Symbolic and mathematical : Congresses.
KW  - Electronic books.
ER  -