Browse by LC Call Number
Browse by Author
Browse by Subject
Export to Refworks
Export to EndNote
Report an Issue
Recent progress in the Boolean domain [electronic resource] / edited by Bernd Steinbach
Newcastle upon Tyne, England : Cambridge Scholars Publishing, 2014.
1 online resource (458 pages) : illustrations
I Want It
Restrictions on Access:
License restrictions may limit access.
Automatic theorem proving
Logic, Symbolic and mathematical
"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.
View MARC record
| catkey: 19424934