| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) | |
|---|---|---|---|---|
| Icaps Proceedings, Thirteenth International Conference on Automated Planning, and Scheduling | 978-1-57735-187-0 (1-57735-187-8) | |||
| Theory and Applications of Satisfiability Testing: 6th International Conference, SAT 2003 Santa Margherita Ligure, Italy, May 5-8, 2003 Selected ... Notes in Computer Science , Band 2919) | 978-3-540-20851-8 (3-540-20851-8) | 2009 | Armando Tacchella | |