Computer Science Logic

Name: Computer Science Logic
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 9783540544876
Price: 1147 CZK
Availability: InStock

4th Workshop on Computer Science Logic, CSL '90, Heidelberg, Germany, October 1-5, 1990. Proceedings

Autor: Egon Börger, Hans Kleine Büning, Michael M. Richter, Wolfgang Schönfeld

Jazyk:

Vazba: Brožovaná

Vydavatel: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Dostupnost: Skladem u dodavatele

Odesíláme za 5-8 dnů

1 147 Kč

The workshop Computer Science Logic '90 was held at theMax-Planck-Haus in Heidelberg, Germany, Octob...

Informace o knize

Autor

Egon Börger, Hans Kleine Büning, Michael M. Richter, Wolfgang Schönfeld

Jazyk

Angličtina

Vazba

Kniha - Brožovaná

Vydáno

1991

Stránek

402

EAN

9783540544876

ISBN

3540544879

Enbook ID

05274207

Vydavatel

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Hmotnost

1280

Rozměry

155 x 233 x 23

Kompletní popis

The workshop Computer Science Logic '90 was held at theMax-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 reviewprocedure from the 35 papers presented at the workshop, someof which were invited and some selected from a total of 89 submissions. The papers cover a wide range of topics arising from the applications of logic to computer science.

Mohlo by vás zajímat

Zákaznicí kteří koupili tuto knihu koupili také

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Computer Science Logic

4th Workshop on Computer Science Logic, CSL '90, Heidelberg, Germany, October 1-5, 1990. Proceedings

Informace o knize

Kompletní popis

Mohlo by vás zajímat

Zákaznicí kteří koupili tuto knihu koupili také