Computer Science Logic
. Ed(S): Borger, Egon; Buning, Hans Kleine; Richter, Michael M.; Schonfeld, Wolfgang
€ 72.44
FREE Delivery in Ireland
Description for Computer Science Logic
Paperback. This volume contains 24 papers presented at a workshop held in Heidelberg in October 1990. The papers cover a wide range of topics in computer science logic. Editor(s): Borger, Egon; Buning, Hans Kleine; Richter, Michael M.; Schonfeld, Wolfgang. Series: Lecture Notes in Computer Science. Num Pages: 410 pages, biography. BIC Classification: PBCD; PBW; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 233 x 155 x 21. Weight in Grams: 581.
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). This volume contains 24 papers, chosen by means of a review procedure from the 35 papers presented at the workshop, some of which were invited and some selected from a total ... Read more
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). This volume contains 24 papers, chosen by means of a review procedure from the 35 papers presented at the workshop, some of which were invited and some selected from a total ... Read more
Product Details
Format
Paperback
Publication date
1991
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
410
Condition
New
Series
Lecture Notes in Computer Science
Number of Pages
402
Place of Publication
Berlin, Germany
ISBN
9783540544876
SKU
V9783540544876
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Computer Science Logic