| Titel | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|
| Computer Science Logic: 5th Workshop, CSL '91, Berne, Switzerland, October 7-11, 1991. Proceedings | 978-3-540-55789-0 (3-540-55789-X) | 2008 | Hans Kleine B??ning · Egon B??rger · Michael M. Richter |
| Computer Science Logic: 6th Workshop, CSL'92, San Miniato, Italy, September 28 - October 2, 1992. Selected Papers | 978-3-540-56992-3 (3-540-56992-8) | 2008 | Hans Kleine B??ning · Egon B??rger · Simone Martini · Michael M. Richter |