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
|
Utgitt | Amsterdam : IOS Press , cop. 2009
|
---|---|
Omfang | xiii, 963 s.
|
Emner | |
Dewey | |
ISBN | 1586039296. - 9781586039295
|