Theory and applications of satisfiability testing : 6th international conference, SAT 2003, Santa Margherita Ligure, Italy, May 5-8 2003 : selected revised papers
Enrico Giunchiglia, Armando Tacchella (eds.)
Bok Engelsk 2004 SAT 2003
| Utgitt | Berlin : Springer , c2004
|
|---|---|
| Omfang | XI, 530 s. : ill.
|
| Emner | |
| ISBN | 3540208518
|
