Computer Science Logic: 10th International Workshop, Csl '96, Annual Conference of the Eacsl, Utrecht, the Netherlands, September 21 - 27, 1996, Selected Papers - Lecture Notes in Computer Science - Dirk Van Dalen - Bøker - Springer-Verlag Berlin and Heidelberg Gm - 9783540631729 - 18. juni 1997
Ved uoverensstemmelse mellom cover og tittel gjelder tittel

Computer Science Logic: 10th International Workshop, Csl '96, Annual Conference of the Eacsl, Utrecht, the Netherlands, September 21 - 27, 1996, Selected Papers - Lecture Notes in Computer Science

Dirk Van Dalen

Pris
£ 40,99

Bestillingsvarer

Forventes levert 2. - 10. jul
Legg til iMusic ønskeliste
Eller

Computer Science Logic: 10th International Workshop, Csl '96, Annual Conference of the Eacsl, Utrecht, the Netherlands, September 21 - 27, 1996, Selected Papers - Lecture Notes in Computer Science

Representing the post-workshop proceedings of the 10th International Workshop on Computer Science Logic held in 1996, this volume comprises 26 revised full papers. It addresses issues in the area of computer science logic research.


479 pages, biography

Media Bøker     Pocketbok   (Bok med mykt omslag og limt rygg)
Utgitt 18. juni 1997
ISBN13 9783540631729
Utgivere Springer-Verlag Berlin and Heidelberg Gm
Antall sider 479
Mål 156 × 234 × 24 mm   ·   675 g
Språk Tysk  
Redaktør Bezem, Marc
Redaktør Dalen, Dirk Van

Vis alle

Mer med Dirk Van Dalen