| Titel | ISBN-13 | Erschei-
nungsjahr | andere Autoren |
|---|
| Algorithmic Learning Theory: 9th International Conference, ALT '98, Otzenhausen, Germany, October 8-10, 1998, Proceedings | 978-3-540-65013-3 | 1998 | Carl H. Smith · Rolf Wiehagen · Thomas Zeugmann |
| Computer Science Logic: 4th Workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990. Proceedings: 4th, 1990 | 978-3-540-54487-6 | 1991 | Egon Börger · Hans Kleine Büning · Wolfgang Schönfeld |
| 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 · Gerhard Jäger · Hans Kleine Büning |
| CSL '87: 1st Workshop on Computer Science Logic, Karlsruhe, FRG, October 12-16, 1987. Proceedings | 978-3-540-50241-8 | 1988 | Egon Börger · Hans Kleine Büning |
| CSL'88: 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988. Proceedings | 978-3-540-51659-0 | 1989 | Egon Börger · Hans Kleine Büning |
| 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 · Hans Kleine Büning |
| Intelligence and Artificial Intelligence: An Interdisciplinary Debate | 978-3-540-63780-6 | 1998 | Ulrich Ratsch · Ion-Olimpiu Stamatescu |
| Processing Declarative Knowledge: International Workshop PDK '91, Kaiserslautern, Germany, July 1-3, 1991. Proceedings | 978-3-540-55033-4 | 1991 | Harold Boley |
| Systems of Reductions | 978-3-540-18598-7 | 1987 | Benjamin Benninghofen · Susanne Kemmerich |