Carte Computer Science Logic Egon Börger

Computer Science Logic

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

Limbă: engleză
Legare: Carte broșată
Editura: Springer, Berlin
Disponibilitate: În depozitul extern
Expediem în 5-8 zile
277.38 lei
This volume contains the final versions of a collection of papers presented at the Annual Conference...

Informații despre carte

Limbă
engleză
Legare
Carte - Carte broșată
Publicat
1994
Pagini
336
EAN
9783540582779
ISBN
3540582770
Enbook ID
05274407
Greutate
466
Dimensiuni
216 x 279 x 18

Descriere completă

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.

S-ar putea să te intereseze

62.29 lei

In Exile and Other Stories

Mary Hallock Foote
87.16 lei
778.37 lei
53.69 lei

Defiant

M. Quint
94.95 lei

Clienții care au cumpărat această carte au mai cumpărat și

One Piece 109

Eiichiro Oda
38.52 lei

Tiamatin hněv

James S. A. Corey
82.71 lei

Kabala Pro Zacatecniky

Michael Laitman
105.47 lei
128.83 lei
302.16 lei

Spuk

Ernst Kallmeyer
120.64 lei