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

  ISBN 0387544879 (0-387-54487-9)
  Softcover, Springer Verlag

  
  Find All Copies

   

  › Find collectible copies of 'Computer Science Logic: 4th Workshop, Csl '90 Heidelberg, Germany, October 1-5, 1990 Proceedings'

  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: ISBN 038755789X (0-387-55789-X)
    Softcover, Springer Verlag
  • Computer Science Logic: 6th Workshop, CSL '92, San Miniato, Italy, September 28-October 2, 1992 Selected Papers: ISBN 0387569928 (0-387-56992-8)
    Softcover, Springer Verlag
• 
  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)

  ISBN 3540613773 (3-540-61377-3)
  Softcover, Springer Verlag

  
  Find All Copies

   

  › Find collectible copies of 'Computer Science Logic: 9th International Workshop, Csl '95, Annual Conference of the Eacsl, Paderborn, Germany, September 22-29, 1995 Selected Papers'
• 
  via
  Csl '88: 2nd Workshop on Computer Science Logic Duisburg, Frg, October 3-7, 1988 Proceedings
  

  by E. Borger, H. Kleine Buning , M.M. Richter

  ISBN 038751659X (0-387-51659-X)
  Softcover, Springer Verlag

  
  Find All Copies

   

  › Find collectible copies of 'Csl '88: 2nd Workshop on Computer Science Logic Duisburg, Frg, October 3-7, 1988 Proceedings'
• 
  Csl, '89. 3rd Workshop on Computer Science Logic, Kaiserlautern, Frg, October 2-6, 1989. Proceedings.
  

  by E. Borger, H. Kleine Buning , M.M. Richter

  ISBN 0387527532 (0-387-52753-2)
  Softcover, Springer Verlag

  
  Find All Copies

   

  › Find collectible copies of 'Csl, '89. 3rd Workshop on Computer Science Logic, Kaiserlautern, Frg, October 2-6, 1989. Proceedings.'

  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: ISBN 3540527532 (3-540-52753-2)
    Hardcover, Springer-Verlag
• 
  via
  Propositional Logic: Deduction and Algorithms
  

  by H. Kleine Buning , Hans Kleine Buning, Theodor Lettman

  ISBN 0521630177 (0-521-63017-7)
  Hardcover, Cambridge Univ Pr

  
  Find All Copies

   

  › Find collectible copies of 'Propositional Logic: Deduction and Algorithms'