2007
Paperback (30 Aug 2007)
Save $15.05
Includes delivery to the United States
10+ copies available online - Usually dispatched within 7 days
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.
| ISBN: | 9783540749141 |
| Publisher: | Springer Berlin Heidelberg |
| Imprint: | Springer |
| Pub date: | 30 Aug 2007 |
| Edition: | 2007 |
| Language: | English |
| Number of pages: | 600 |
| Weight: | 932g |
| Height: | 234mm |
| Width: | 156mm |
| Spine width: | 31mm |
$0.20off
Compilers
Paperback
Published 02 Aug 2013
Save $0.20
$6.15off
Modern Compiler Implementation ...
Paperback
Published 07 Aug 2004
Save $6.15
$8.63off
The Web We Weave
Hardback
Published 05 Dec 2024
Save $8.63
$16.28off
The Metaverse Dilemma
Hardback
Published 02 Dec 2024
Save $16.28
Smart-Tech Society
Paperback
Published 14 Jun 2024
Just Enough Research
Paperback
Published 01 Oct 2024
$6.89off
Moral AI
Hardback
Published 08 Feb 2024
Save $6.89
$4.77off
Quantum Supremacy
Paperback
Published 02 May 2024
Save $4.77
$19.03off
The AI Delusion
Hardback
Published 23 Aug 2018
Save $19.03