Книга Computer Science Logic Egon Börger

Computer Science Logic

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

Език: Английски език
Корици: С меки корици
Издател: Springer, Berlin
Наличност: Външен склад
Изпращаме след 5-8 дни
52.84 103.34 лв
This volume contains the final versions of a collection of papers presented at the Annual Conference...

Информация за книгата

Език
Английски език
Корици
Книга - С меки корици
Издадена
1994
страници
336
EAN
9783540582779
ISBN
3540582770
Enbook ID
05274407
Издател
Теглоt
466
Размери
216 x 279 x 18

Пълно описание

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.

Може също да ви хареса

8.48 16.59 лв
11.90 23.27 лв

In Exile and Other Stories

Mary Hallock Foote
16.62 32.51 лв
31.04 60.71 лв
141.15 276.06 лв
9.64 18.85 лв

Defiant

M. Quint
18.08 35.36 лв
18.93 37.03 лв
10.34 20.23 лв
61.98 121.23 лв

Клиенти, които купиха тази книга, купиха също

One Piece 109

Eiichiro Oda
7.73 15.12 лв
34.96 68.37 лв

Tiamatin hněv

James S. A. Corey
16.62 32.51 лв

Kabala Pro Zacatecniky

Michael Laitman
18.88 36.93 лв
25.61 50.10 лв
15.47 30.25 лв
16.17 31.63 лв
60.62 118.57 лв
108.04 211.32 лв

Spuk

Ernst Kallmeyer
23.00 44.99 лв