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 - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783540749141 - August 30, 2007
In case cover and title do not match, the title is correct

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

Price
$ 105.49
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jul 16 - 22

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

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

Media Books     Paperback Book   (Book with soft cover and glued back)
Released August 30, 2007
ISBN13 9783540749141
Publishers Springer-Verlag Berlin and Heidelberg Gm
Pages 600
Dimensions 155 × 235 × 31 mm   ·   852 g
Language French  
Editor Duparc, Jacques
Editor Henzinger, Thomas A.

Mere med samme udgiver

See all of Jacques Duparc ( e.g. Paperback Book )