Recent progress in the Boolean domain / 
edited by Bernd Steinbach. 
 - 1 online resource (458 pages) :  illustrations 
<br/><br/> "All sections are written from authors who presented their new results at the 10th IWSBP in September 2012 in Freiberg, Germany." 
<br/><br/>Includes bibliographical references and index. 
<br/><br/><label>ISBN: </label>9781443859677 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Automatic theorem proving--Congresses.<br/>Logic, Symbolic and mathematical--Congresses.
<br/><br/><label>Index Terms--Genre/Form: </label><br/>Electronic books.
<br/><br/><label>LC Class. No.: </label>QA76.9.A96  / .R434 2014 
<br/><br/><label>Dewey Class. No.: </label>004.015113