Computer Science Logic

Name: Computer Science Logic
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 9783540544876
Price: 212.13 PLN
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

Język:

Oprawa: Miękka

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

Dostępność: Dostępna u dostawcy

Wysyłamy za 5-8 dni

212.13 zł

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

Informacje o książce

Autor

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

Język

Angielski

Oprawa

Książka - Miękka

Data wydania

1991

strony

402

EAN

9783540544876

ISBN

3540544879

Enbook ID

05274207

Wydawca

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Waga

1280

Wymiary

155 x 233 x 23

Pełny opis

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.

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Computer Science Logic

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

Informacje o książce

Pełny opis

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również