Recent progress in the Boolean domain

Bibliographic Details
Other Authors:	Steinbach, Bernd, editor (editor)
Format:	eBook
Language:	Inglés
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
See on Universidad Loyola - Universidad Loyola Granada:	https://colectivo.uloyola.es/Record/ELB148465

Request an interlibrarian loan: Email

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

Similar Items