Introduction to mathematics of satisfiability /
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Boca Raton :
CRC Press,
[2009]
|
| Series: | Chapman & Hall/CRC studies in informatics series.
|
| Subjects: |
| Item Description: | "A Chapman & Hall book." |
|---|---|
| Physical Description: | xiii, 350 pages : illustrations ; 25 cm. |
| Bibliography: | Includes bibliographical references and index. |
| ISBN: | 9781439801673 (hardcover : alk. paper) 1439801673 (hardcover : alk. paper) |