Computer Science Logic: 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings - Lecture Notes in Computer Science - L Ong - Grāmatas - Springer-Verlag Berlin and Heidelberg Gm - 9783540282310 - 2005. gada 9. augusts
Ja vāks un nosaukums nesakrīt, pareizs ir nosaukums

Computer Science Logic: 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings - Lecture Notes in Computer Science 2005 edition

Cena
€ 53,99

Pasūtīts no attālās noliktavas

Paredzamā piegāde . gada 29. okt. - . gada 6. nov.
Saņemiet paziņojumus par jauniem L Ong izdevumiem
Pievienot savam iMusic vēlmju sarakstam

Not rated yet

Constitutes the refereed proceedings of the 19th International Workshop on Computer Science Logic, CSL 2005, held as the 14th Annual Conference of the EACSL in Oxford, UK in August 2005. This volume is organized in topical sections on semantics and logics, type theory and lambda calculus, linear logic and ludics, finite models, and more.


567 pages, biography

Mediji Grāmatas     Paperback Book   (Grāmata ar mīksto vāku un līmēto muguru)
Izlaists 2005. gada 9. augusts
ISBN13 9783540282310
Izdevēji Springer-Verlag Berlin and Heidelberg Gm
Lapas 567
Izmēri 155 × 235 × 30 mm   ·   807 g
Valoda Vācu  
Redaktors Ong, Luke

Vairāk no tā paša izdevēja

Skatīt visus L Ong