Springer · Wadsworth; Brooks/Cole
| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) | |
|---|---|---|---|---|
| Discrete Mathematics for Computer Science | 978-0-534-49501-5 (0-534-49501-X) | 2005 | Gary Haggard · Sue Whitesides | |
| Logic Programming and Nonmonotonic Reasoning: 9th International Conference, LPNMR 2007 Tempe, AZ, USA, May 15-17, 2007 Proceedings | 978-3-540-72199-4 (3-540-72199-1) | 2009 | Chitta Baral · Gerhard Brewka |