Kniha CSL '89 Egon Börger

CSL '89

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

Jazyk: Angličtina
Väzba: Brožovaná
Vydavateľ: Springer, Berlin
Dostupnosť: Skladom u dodávateľa
Odosielame za 5-8 dní
50.19
This volume contains the revised versions of 28 papers presented at the third workshop on Computer S...

Informácie o knihe

Jazyk
Angličtina
Väzba
Kniha - Brožovaná
Vydalo
1990
Stránok
444
EAN
9783540527534
ISBN
3540527532
Enbook ID
05274150
Vydavateľ
Hmotnosť
802
Rozmery
155 x 235 x 23

Kompletný popis

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.

Mohlo by vás zaujímať

Universe in Gamma Rays

Volker Schönfelder
100.00
47.15
25.14

Her Generous Duke

Arietta Richmond
14.43

Hunger

TALLIS
230.86

Culhwch Alpha

G. R. Jordan
11.78
35.95

Climbing Parnassus

Tracy Lee Simmons
15.61

Bay Shrimpers of Texas

Robert Lee Maril
33.39
16.20
81.43

Caucasus

Nicholas Griffin
28.97
94.01
269.97

Mage

Jean Johnson
18.66

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

32.02

Tánciskola

Grecsó Krisztián
9.52

Frontalunterricht

Jenny Schikora
16.59

Eisgrab

Mads Peder Nordbo
13.15

Dia Diferente

ACTIVITY CRUSADES
10.99

grosse Flut

Ilka Scheidgen
11.48

Pianobar

Daniela Noitz
7.95

Tschick, 4 Audio-CDs

Wolfgang Herrndorf
10.70