Description: Recent progress in the Boolean domain /

Bibliographic Details
Other Authors:	Steinbach, Bernd,
Format:	eBook
Language:	English
Published:	Newcastle upon Tyne, England : Cambridge Scholars Publishing, 2014.
Subjects:	Automatic theorem proving > Congresses. Logic, Symbolic and mathematical > Congresses. Electronic books.
Online Access:	https://recursos.uloyola.es/login?url=https://accedys.uloyola.es:8443/accedix0/sitios/ebook.php?id=148465

Description
Item Description:	"All sections are written from authors who presented their new results at the 10th IWSBP in September 2012 in Freiberg, Germany."
Physical Description:	1 online resource (458 pages) : illustrations
Bibliography:	Includes bibliographical references and index.
ISBN:	9781443859677 (e-book)