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
Vazba: Brožovaná
Vydavatel: Springer, Berlin
Dostupnost: Skladem u dodavatele
Odesíláme za 5-8 dnů
1 147
This volume contains the revised versions of 28 papers presented at the third workshop on Computer S...

Informace o knize

Jazyk
Angličtina
Vazba
Kniha - Brožovaná
Vydáno
1990
Stránek
444
EAN
9783540527534
ISBN
3540527532
Enbook ID
05274150
Vydavatel
Hmotnost
802
Rozměry
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 zajímat

Universe in Gamma Rays

Volker Schönfelder
2 286
1 087
573

Her Generous Duke

Arietta Richmond
348

Hunger

TALLIS
5 324

Culhwch Alpha

G. R. Jordan
285
819

Climbing Parnassus

Tracy Lee Simmons
352

Bay Shrimpers of Texas

Robert Lee Maril
769
371
1 871

Caucasus

Nicholas Griffin
699
2 159

Mage

Jean Johnson
451

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

774

Tánciskola

Grecsó Krisztián
231

Frontalunterricht

Jenny Schikora
377

Eisgrab

Mads Peder Nordbo
300

Dia Diferente

ACTIVITY CRUSADES
267

grosse Flut

Ilka Scheidgen
261

Pianobar

Daniela Noitz
180

Tschick, 4 Audio-CDs

Wolfgang Herrndorf
244