Carregant...
Introduction to mathematics of satisfiability /
| Autor principal: | |
|---|---|
| Format: | Printed Book |
| Publicat: |
Boca Raton :
CRC Press,
c2009.
|
| Col·lecció: | Chapman & Hall/CRC studies in informatics series
|
| Matèries: |
| Descripció de l’ítem: | "A Chapman & Hall book." |
|---|---|
| Descripció física: | xiii, 350 p. : ill. ; |
| Bibliografia: | Includes bibliographical references and index. |
| ISBN: | 9781439801673 (hardcover : alk. paper) 1439801673 (hardcover : alk. paper) |