The Statisfiability problem : Algorythms and analyses /
| Hlavní autor: |
Schöning, Uwe
(
Autor )
|
|---|---|
| Další autoři: |
Torán, Jacobo
(
Autor )
|
| Typ dokumentu: | Kniha |
| Jazyk: |
angličtina |
| Vydavatel: |
Berlin :
Lehmanns Media,
[2013].
|
| Edice: |
Mathematics for Applications
|
| Předmět: | |