Cargando...

Introduction to mathematics of satisfiability /

Detalles Bibliográficos
Autor Principal: Marek, Wiktor
Formato: Printed Book
Publicado: Boca Raton : CRC Press, c2009.
Series:Chapman & Hall/CRC studies in informatics series
Subjects:
Descripción
descrición da copia:"A Chapman & Hall book."
Descrición Física:xiii, 350 p. : ill. ;
Bibliografía:Includes bibliographical references and index.
ISBN:9781439801673 (hardcover : alk. paper)
1439801673 (hardcover : alk. paper)