Handbook of satisfiability
edited by Armin Biere ... [et al.]
Bok Engelsk 2009
| Utgitt | Amsterdam : IOS Press , cop. 2009
|
|---|---|
| Omfang | xiii, 963 s.
|
| Emner | |
| Dewey | |
| ISBN | 1586039296. - 9781586039295
|
edited by Armin Biere ... [et al.]
Bok Engelsk 2009
edited by Armin Biere ... [et al.]
Bok Engelsk 2009
