Computer Science Logic

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

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

Автор: Egon Börger, Hans Kleine Büning, Michael M. Richter, Wolfgang Schönfeld

Език:

Корици: С меки корици

Издател: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Наличност: Външен склад

Изпращаме след 5-8 дни

52.84 € 103.34 лв

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

Информация за книгата

Автор

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

Език

Английски език

Корици

Книга - С меки корици

Издадена

1991

страници

402

EAN

9783540544876

ISBN

3540544879

Enbook ID

05274207

Издател

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Теглоt

1280

Размери

155 x 233 x 23

Пълно описание

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.

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Computer Science Logic

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

Информация за книгата

Пълно описание

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също