Kniha Computer Science Logic Egon Börger

Computer Science Logic

7th Workshop, CSL '93, Swansea, UK, September 13-17, 1993. Selected Papers

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 final versions of a collection of papers presented at the Annual Conference...

Informácie o knihe

Jazyk
Angličtina
Väzba
Kniha - Brožovaná
Vydalo
1994
Stránok
336
EAN
9783540582779
ISBN
3540582770
Enbook ID
05274407
Vydavateľ
Hmotnosť
466
Rozmery
216 x 279 x 18

Kompletný popis

This volume contains the final versions of a collection of papers presented at the Annual Conference of the European Association for Computer Science Logic, CSL '93, held at Swansea, UK in September 1993.The 21 full papers included were selected from a total of 62 submissions and essentially contribute to the whole area of computer science logic research. They are devoted to such topics as set constraints, lambda calculi, process algebras, program semantics, intuitionistic logics, fixed-point logics, the equivalence problem, Horn clauses, quantifiers, and proof tranformations.

Mohlo by vás zaujímať

11.39

In Exile and Other Stories

Mary Hallock Foote
15.71
133.90
9.03

Defiant

M. Quint
17.08

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

One Piece 109

Eiichiro Oda
7.36

Tiamatin hněv

James S. A. Corey
13.28

Kabala Pro Zacatecniky

Michael Laitman
19.24
24.55
57.56

Spuk

Ernst Kallmeyer
21.70