CSL '89

Name: CSL '89
Brand: Springer, Berlin
SKU: 9783540527534
Price: 19305 HUF
Availability: InStock

3rd Workshop on Computer Science Logic, CSL '93, Kaiserslautern, FRG. October 2-6, 1989. Proceedings

Szerző: Egon Börger, Hans Kleine Büning, Michael M. Richter

Nyelv:

Kötés: Puha kötésű

Kiadó: Springer, Berlin

Elérhetőség: Beszállítói készleten

Küldés 5-8 napon belül

19 305 Ft

This volume contains the revised versions of 28 papers presented at the third workshop on Computer S...

Információk a könyvről

Szerző

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

Nyelv

Angol

Kötés

Könyv - Puha kötésű

Kiadva

1990

oldal

444

EAN

9783540527534

ISBN

3540527532

Enbook ID

05274150

Kiadó

Springer, Berlin

Súly

802

Méretek

155 x 235 x 23

Teljes leírás

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. More specifically, the papers deal with problems arising at the border of logic and computer science, e.g. in complexity, data base theory, logic programming, artificial intelligece, and temporal logic. The volume should be of interest to all logicians and computer scientists working in the above field.

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

CSL '89

3rd Workshop on Computer Science Logic, CSL '93, Kaiserslautern, FRG. October 2-6, 1989. Proceedings

Információk a könyvről

Teljes leírás

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták