Ejemplares: Recent progress in the Boolean domain /

Detalles Bibliográficos
Otros autores:	Steinbach, Bernd,
Formato:	eBook
Idioma:	English
Fecha de publicación:	Newcastle upon Tyne, England : Cambridge Scholars Publishing, 2014.
Materias:	Automatic theorem proving > Congresses. Logic, Symbolic and mathematical > Congresses. Electronic books.
Acceso en línea:	https://recursos.uloyola.es/login?url=https://accedys.uloyola.es:8443/accedix0/sitios/ebook.php?id=148465