Computer Science Logic: 21 International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007, Proceedings - Theoretical Computer Science and General Issues - Jacques Duparc - Grāmatas - Springer-Verlag Berlin and Heidelberg Gm - 9783540749141 - 2007. gada 30. augusts
Ja vāks un nosaukums nesakrīt, pareizs ir nosaukums

Jacques Duparc
Computer Science Logic: 21 International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007, Proceedings - Theoretical Computer Science and General Issues 4th 2007 edition

Cena
€ 103,49

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

Paredzamā piegāde . gada 14. - 22. okt.
Saņemiet paziņojumus par jauniem Jacques Duparc izdevumiem

Mūsu klienti saka:

14 dienu atgriešanas politika saskaņā ar Eiropas patērētāju tiesību aizsardzības likumu
Top vieta Trustpilot
Pievienot savam iMusic vēlmju sarakstam

Not rated yet

The 36 revised full papers presented together with the abstracts of six invited lectures are organized in topical sections on logic and games, expressiveness, games and trees, logic and deduction, lambda calculus, finite model theory, linear logic, proof theory, and game semantics.

600 pages, biography

Mediji Grāmatas     Paperback Book   (Grāmata ar mīksto vāku un līmēto muguru)
Izlaists 2007. gada 30. augusts
ISBN13 9783540749141
Izdevēji Springer-Verlag Berlin and Heidelberg Gm
Lapas 600
Izmēri 155 × 235 × 31 mm   ·   852 g
Valoda Franču  
Redaktors Duparc, Jacques
Redaktors Henzinger, Thomas A.

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

Skatīt visus Jacques Duparc