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
Vazba: Brožovaná
Vydavatel: Springer, Berlin
Dostupnost: Skladem u dodavatele
Odesíláme za 5-8 dnů
1 147
This volume contains the final versions of a collection of papers presented at the Annual Conference...

Informace o knize

Jazyk
Angličtina
Vazba
Kniha - Brožovaná
Vydáno
1994
Stránek
336
EAN
9783540582779
ISBN
3540582770
Enbook ID
05274407
Vydavatel
Hmotnost
466
Rozměry
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 zajímat

263

In Exile and Other Stories

Mary Hallock Foote
357
3 237
218

Defiant

M. Quint
391

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

One Piece 109

Eiichiro Oda
178

Tiamatin hněv

James S. A. Corey
340

Kabala Pro Zacatecniky

Michael Laitman
458
594
1 392

Spuk

Ernst Kallmeyer
494