| Titel | ISBN-13 | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|
| Hybrid Systems: Computation and Control: 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings | 978-3-540-00913-9 | 2008 | Oded Maler · Amir Pnueli |
| Intelligent Computer Mathematics: 9th International Conference, AISC 2008 15th Symposium, Calculemus 2008 7th International Conference, MKM 2008 ... Notes in Computer Science , Band 5144) | 978-3-540-85109-7 | 2008 | Serge Autexier · John Campbell · Julio Rubio · Volker Sorge · Masakazu Suzuki |
| Interactive Theorem Proving: Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, Proceedings | 978-3-642-22862-9 | 2011 | Marko Van Eekelen · Herman Geuvers · Julien Schmaltz |
| The Seventeen Provers of the World: Foreword by Dana S. Scott | 978-3-540-30704-4 | 2008 | |
| Types for Proofs and Programs: Second International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002, Selected Papers | 978-3-540-14031-3 | 2008 | Herman Geuvers |