Könyv Computer Science Logic Jacques Duparc

Computer Science Logic

21 International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007, Proceedings

Nyelv: Angol
Kötés: Puha kötésű
Elérhetőség: Beszállítói készleten
Küldés 5-8 napon belül
38 497 Ft
This book constitutes the refereed proceedings of the 21st International Workshop on Computer Scienc...

Információk a könyvről

Nyelv
Angol
Kötés
Könyv - Puha kötésű
Kiadva
2007
oldal
600
EAN
9783540749141
ISBN
3540749144
Enbook ID
01569227
Súly
932
Méretek
155 x 235 x 33

Teljes leírás

This book constitutes the refereed proceedings of the 21st International Workshop on Computer Science Logic, CSL 2007, held as the 16th Annual Conference of the EACSL in Lausanne, Switzerland. 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.

Érdekelheti

38 497 Ft
2 430 Ft

Permanent Record

KING ARTHUR
7 420 Ft

Echo Whispers

Patrick Naville
4 178 Ft
3 909 Ft
18 852 Ft

Clothes

John Harvey
19 278 Ft

Egyptian Literature

Epiphanius Wilson
9 298 Ft
8 944 Ft
15 552 Ft

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

La caida

Dan Simmons
6 967 Ft

Legie plamenů

Anthony Ryan
5 514 Ft

Pokrytie dlya giperzvukovyh samoletov

Mariya Alexandrovna Miller
13 418 Ft

Полезные машины

Елена Хомич
11 361 Ft