| Titel | | ISBN-13 | Erschei-
nungsjahr | andere Autoren |
|---|
| Computer Science Logic: 4th Workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990. Proceedings: 4th, 1990 | | 978-3-540-54487-6 | 2008 | Egon Börger · Wolfgang Schönfeld · Michael M. Richter |
| Computer Science Logic: 5th Workshop, CSL '91, Berne, Switzerland, October 7-11, 1991. Proceedings: CSL '91, Berne, Switzerland, October 7-11, 1991 - ... Workshop | | 978-3-540-55789-0 | 1992 | Egon Börger · Michael M. Richter · Gerhard Jäger |
| Computer Science Logic: 9th International Workshop, CSl '95, Annual Conference of the EACSL Paderborn, Germany, September 22-29, 1995. Selected ... Wo | | 978-3-540-61377-0 | 1996 | Hans Kleine Buening |
| CSL '87: 1st Workshop on Computer Science Logic, Karlsruhe, FRG, October 12-16, 1987. Proceedings | | 978-3-540-50241-8 | 1988 | 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 | 1989 | Egon Börger · Michael M. Richter |
| CSL '89: 3rd Workshop on Computer Science Logic. Kaiserslautern, FRG, October 2-6, 1989. Proceedings: 3rd, 1989 | | 978-3-540-52753-4 | 1990 | Egon Börger · Michael M. Richter |
| Modellierung | | 978-3-8273-7091-4 | 2005 | Uwe Kastens |
| Modellierung. Grundlagen und formale Methoden | | 978-3-446-41537-9 | 2008 | " |
| Modellierung: Grundlagen und formale Methoden | | 978-3-446-40460-1 | 2005 | " |
| PROLOG. Grundlagen und Anwendungen | | 978-3-519-02484-2 | 1986 | Stefan Schmitgen |
| Propositional Logic: Deduction and Algorithms | | 978-0-521-63017-7 | 1999 | Theodor Lettmann |