Theory and applications of satisfiability testing : 7th international conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004 : revised selected papers
Holger H. Hoos, David G. Mitchell (eds.)
Bok Engelsk 2005 SAT 2004
| Utgitt | Berlin : Springer , c2005
|
|---|---|
| Omfang | XIII, 392 s. : ill.
|
| Emner | |
| ISBN | 354027829X. - 9783540278290
|
