search for books and compare prices
H. Kleine Buning has written 4 work(s)
Search for other authors with the same name
displaying 1 to 4 | at end
show results in order: alphabetically | oldest to newest | newest to oldest
Cover for 9780387569925 Cover for 9780387544878 Cover for 9780387527536 Cover for 9780387516592
Computer Science Logic: 6th Workshop, Csl '92 San Miniato, Italy September 28-October 2, 1992 Selected Papers
cover image for 9780387569925
Product Description: This volume presents the proceedings of the Computer Science Logic Workshop CSL '92, held in Pisa, Italy, in September/October 1992. CSL '92 was the sixth of the series and the first one held as Annual Conference of the European Association for Computer Science Logic (EACSL)...read more
By Egon Borger, H. Kleine Buning, G. Jager and S. Martini (contributor)
See complete details on each edition (1 edition listed)

Paperback:

9780387569925 | Springer Verlag, August 1, 1993, cover price $82.95 | About this edition: This volume presents the proceedings of the Computer Science Logic Workshop CSL '92, held in Pisa, Italy, in September/October 1992.

Computer Science Logic: 4th Workshop, Csl '90 Heidelberg, Germany, October 1-5, 1990 : Proceedings
cover image for 9780387544878
Product Description: The workshop Computer Science Logic '90 was held at the Max-Planck-Haus in Heidelberg, Germany, October 1-5, 1990. It was the fourth in a series of worskhops, following CSL '89 at the University of Kaiserslautern (see LNCS 440), CSL '88 at the University of Duisberg (see LNCS 385), and CSL '87 at the University of Karlsruhe (see LNCS 329)...read more
By Egon Borger, H. Kleine Buning (contributor) and Workshop on Computer Science Logic 1990 (other contributor)
See complete details on each edition (1 edition listed)

Paperback:

9780387544878 | Springer Verlag, September 1, 1991, cover price $71.95 | About this edition: The workshop Computer Science Logic '90 was held at the Max-Planck-Haus in Heidelberg, Germany, October 1-5, 1990.

Csl, '89. 3rd Workshop on Computer Science Logic, Kaiserlautern, Frg, October 2-6, 1989. Proceedings.
cover image for 9780387527536
Product Description: This volume contains the revised versions of 28 papers presented at the third workshop on Computer Science Logic held in Kaiserslautern, FRG, October 2-6, 1989. These proceedings cover a wide range of topics both from theoretical and applied areas of computer science...read more
By E. Borger, H. Kleine Buning and M. M. Richter (editor)
See complete details on each edition (1 edition listed)

Paperback:

9780387527536 | Springer Verlag, July 1, 1990, cover price $69.95 | About this edition: This volume contains the revised versions of 28 papers presented at the third workshop on Computer Science Logic held in Kaiserslautern, FRG, October 2-6, 1989.

Csl '88: 2nd Workshop on Computer Science Logic Duisburg, Frg, October 3-7, 1988 : Proceedings
cover image for 9780387516592
Product Description: This volume contains the papers which were presented at the second workshop "Computer Science Logic" held in Duisburg, FRG, October 3-7, 1988. These proceedings cover a wide range of topics both from theoretical and applied areas of computer science...read more
By E. Borger, H. Kleine Buning and M. M. Richter (editor)
See complete details on each edition (1 edition listed)

Paperback:

9780387516592 | Springer Verlag, November 1, 1989, cover price $72.95 | About this edition: This volume contains the papers which were presented at the second workshop "Computer Science Logic" held in Duisburg, FRG, October 3-7, 1988.

displaying 1 to 4 | at end