Cambridge University Press · Springer Berlin Heidelberg
| Titel | ISBN-13 | Erschei- nungsjahr | andere Autoren | |
|---|---|---|---|---|
| Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings | 978-3-540-22345-0 | 2008 | Michael Rusinowitch | |
| Engineering Secure Software and Systems: Second International Symposium, ESSoS 2010, Pisa, Italy, February 3-4, 2010, Proceedings | 978-3-642-11746-6 | 2010 | Anette Andresen · Andrew Austin · Bernhard Berger · Clara Bertolissi · Christian Beyerlein | |
| Rippling: Meta-Level Guidance for Mathematical Reasoning | 978-0-521-83449-0 | 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 | 2003 | Burkhart Wolff |