1.
電子ブック |
edited by Jean-Raymond Abrial, Egon Börger, Hans Langmaack
|
|||||||
2.
電子ブック |
edited by Egon Börger, Yuri Gurevich, Karl Meinke
|
|||||||
3.
電子ブック |
3. Computer Science Logic : 5th Workshop, CSL '91 Berne, Switzerland, October 7–11, 1991 Proceedings
edited by Egon Börger, Gerhard Jäger, Hans Kleine Büning, Michael M. Richter
|
|||||||
4.
電子ブック |
4. Computer Science Logic : 4th Workshop, CSL '90 Heidelberg, Germany, October 1–5, 1990 Proceedings
edited by Egon Börger, Hans Kleine Büning, Michael M. Richter, Wolfgang Schönfeld
|
|||||||
5.
電子ブック |
edited by Egon Börger, Hans Kleine Büning, Michael M. Richter
|
|||||||
6.
電子ブック |
edited by Egon Börger, Hans Kleine Büning, Michael M. Richter
|
|||||||
7.
電子ブック |
edited by Egon Börger, Hans Kleine Büning, Michael M. Richter
|
|||||||
8.
電子ブック |
edited by Egon Börger
|