| Titel | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|
| Theory and Applications of Satisfiability Testing - SAT 2007: 10th International Conference Lisbon, Portugal, May 28-31, 2007 Proceedings: 10th ... Notes in Computer Science , Band 4501) | 978-3-54O-72787-3 (3-54O-72787-6) | 2009 | Karem A. Sakallah |
J.M. · J. Marques · J. S. · Joao Marques · Joao Silva · M S. · M. Silva