Könyv Computer Science Logic Egon Börger

Computer Science Logic

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

Nyelv: Angol
Kötés: Puha kötésű
Elérhetőség: Beszállítói készleten
Küldés 5-8 napon belül
19 305 Ft
This volume contains the final versions of a collection of papers presented at the Annual Conference...

Információk a könyvről

Nyelv
Angol
Kötés
Könyv - Puha kötésű
Kiadva
1994
oldal
336
EAN
9783540582779
ISBN
3540582770
Enbook ID
05274407
Súly
466
Méretek
216 x 279 x 18

Teljes leírás

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.

Érdekelheti

4 322 Ft

In Exile and Other Stories

Mary Hallock Foote
6 070 Ft
54 068 Ft
3 752 Ft

Defiant

M. Quint
6 613 Ft

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

One Piece 109

Eiichiro Oda
2 600 Ft

Tiamatin hněv

James S. A. Corey
5 586 Ft

Kabala Pro Zacatecniky

Michael Laitman
7 366 Ft
8 702 Ft
20 399 Ft

Spuk

Ernst Kallmeyer
8 415 Ft