| Titel | ISBN-13 | Erschei-
nungsjahr | andere Autoren |
|---|
| Computer Science Logic: 4th Workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990. Proceedings | 978-3-540-54487-6 | 2008 | Wolfgang Sch??nfeld · Egon B??rger · Michael M. Richter |
| Computer Science Logic: 5th Workshop, CSL '91, Berne, Switzerland, October 7-11, 1991. Proceedings | 978-3-540-55789-0 | 2008 | Gerhard J??ger · 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 | 2008 | Gerhard J??ger · Egon B??rger · Simone Martini · Michael M. Richter |
| CSL '87: 1st Workshop on Computer Science Logic, Karlsruhe, FRG, October 12-16, 1987. Proceedings | 978-3-540-50241-8 | 2008 | Egon B??rger · Michael M. Richter |
| CSL'88: 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988. Proceedings | 978-3-540-51659-0 | 2008 | Egon B??rger · Michael M. Richter |
| CSL '89: 3rd Workshop on Computer Science Logic. Kaiserslautern, FRG, October 2-6, 1989. Proceedings | 978-3-540-52753-4 | 2008 | Egon B??rger · Michael M. Richter |