Recent progress in the Boolean domain - Steinbach, Bernd (Newcastle upon Tyne, England : Cambridge Scholars Publishing, 2014)
"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.
Description based on metadata supplied by the publisher and other sources.
Electronic reproduction. Santa Fe, Arg.: elibro, 2020. Available via World Wide Web. Access may be limited to eLibro affiliated libraries.
Keywords: Automatic theorem proving -- Congresses; Logic, Symbolic and mathematical -- Congresses; Electronic books