Introduction to mathematics of satisfiability /
Uloženo v:
| Hlavní autor: | |
|---|---|
| Typ dokumentu: | Kniha |
| Jazyk: | Angličtina |
| Vydáno: |
Boca Raton ; London :
CRC Press,
2009
|
| Edice: | Chapman & Hall/CRC studies in informatics series
|
| Témata: |
| Fyzický popis: | xiii, 350 s. |
|---|---|
| ISBN: | 978-1-4398-0167-3 |