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øger - Springer-Verlag Berlin and Heidelberg Gm - 9783540631729 - 18. juni 1997
Ved uoverensstemmelse mellem cover og titel gælder titel

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
DKK 448

Bestilles fra fjernlager

Forventes klar til forsendelse 11. - 17. jul.
Tilføj til din iMusic ønskeseddel
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

Medie Bøger     Paperback Bog   (Bog med blødt omslag og limet ryg)
Udgivet 18. juni 1997
ISBN13 9783540631729
Forlag Springer-Verlag Berlin and Heidelberg Gm
Antal sider 479
Mål 156 × 234 × 24 mm   ·   675 g
Sprog Tysk  
Klipper/redaktør Bezem, Marc
Klipper/redaktør Dalen, Dirk Van

Vis alle

Mere med Dirk Van Dalen