H. Kleine Buning (Buning, H. Kleine / Kleine Buning, H.)

• 
  Computer Science Logic: 4th Workshop, Csl '90 Heidelberg, Germany, October 1-5, 1990 Proceedings
  by Egon Borger, Workshop on Computer Science Logic 1990 Heidelberg, Germany), H. Kleine Buning
  Softcover, Springer Verlag, ISBN 0387544879 (0-387-54487-9)

  More editions of Computer Science Logic: 4th Workshop, Csl '90 Heidelberg, Germany, October 1-5, 1990 Proceedings:

  • Computer Science Logic: 5th Workshop, Csl '91, Berne, Switzerland, October 7-11, 1991 Proceedings: Softcover, Springer Verlag, ISBN 038755789X (0-387-55789-X)
  • Computer Science Logic: 6th Workshop, CSL '92, San Miniato, Italy, September 28-October 2, 1992 Selected Papers: Softcover, Springer Verlag, ISBN 0387569928 (0-387-56992-8)
• 
  Computer Science Logic: 9th International Workshop, Csl '95, Annual Conference of the Eacsl, Paderborn, Germany, September 22-29, 1995 Selected Papers
  by H. Kleine Buning, European Association for Computer Science Logic, Workshop on Computer Science Logic 1995 Paderborn, Germany)
  Softcover, Springer Verlag, ISBN 3540613773 (3-540-61377-3)
• 
  Csl '88: 2nd Workshop on Computer Science Logic Duisburg, Frg, October 3-7, 1988 Proceedings
  by E. Borger, H. Kleine Buning, M.M. Richter
  Softcover, Springer Verlag, ISBN 038751659X (0-387-51659-X)
• 
  Csl, '89. 3rd Workshop on Computer Science Logic, Kaiserlautern, Frg, October 2-6, 1989. Proceedings.
  by E. Borger, H. Kleine Buning, M.M. Richter
  Softcover, Springer Verlag, ISBN 0387527532 (0-387-52753-2)

  More editions of Csl, '89. 3rd Workshop on Computer Science Logic, Kaiserlautern, Frg, October 2-6, 1989. Proceedings.:

  • CSL '89: 3rd Workshop on Computer Science Logic, Kaiserslautern, FRG, October 2-6, 1989 Proceedings: Hardcover, Springer-Verlag, ISBN 3540527532 (3-540-52753-2)
• 
  Propositional Logic: Deduction and Algorithms
  by H. Kleine Buning, Hans Kleine Buning, Theodor Lettman
  Hardcover, Cambridge Univ Pr, ISBN 0521630177 (0-521-63017-7)