Książka Computer Science Logic Egon Börger

Computer Science Logic

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

Język: Angielski
Oprawa: Miękka
Wydawca: Springer, Berlin
Dostępność: Dostępna u dostawcy
Wysyłamy za 5-8 dni
212.42
This volume contains the final versions of a collection of papers presented at the Annual Conference...

Informacje o książce

Język
Angielski
Oprawa
Książka - Miękka
Data wydania
1994
strony
336
EAN
9783540582779
ISBN
3540582770
Enbook ID
05274407
Waga
466
Wymiary
216 x 279 x 18

Pełny opis

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.

Możesz być zainteresowany

48.09

In Exile and Other Stories

Mary Hallock Foote
66.39
597.47
40.78

Defiant

M. Quint
72.52

Klienci, którzy kupili tę książkę, kupili również

One Piece 109

Eiichiro Oda
31.05

Tiamatin hněv

James S. A. Corey
63.08

Kabala Pro Zacatecniky

Michael Laitman
80.02
103.97
243.87

Spuk

Ernst Kallmeyer
91.90