Cambridge University Press · Springer, Berlin
| Titel | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren | |
|---|---|---|---|---|
| Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings | 978-3-540-22345-0 (3-540-22345-2) | 2004 | Michael Rusinowitch | |
| Rippling: Meta-Level Guidance for Mathematical Reasoning | 978-0-521-83449-0 (0-521-83449-X) | 2005 | Alan Bundy · Dieter Hutter · Andrew Ireland | |
| Theorem Proving in Higher Order Logics: 16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings | 978-3-540-40664-8 (3-540-40664-6) | 2003 | Burkhart Wolff |
David B. · David Bacon · David Baigun · David Bakan · David Bassom · David Bauckham · David Beckham · David Beskeen · David Bisson · David Bogan · David Bookin · David Buchan · David Bycina