Kniha 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

Jazyk: Angličtina
Väzba: Brožovaná
Dostupnosť: Skladom u dodávateľa
Odosielame za 5-8 dní
100.00
This book constitutes the refereed proceedings of the 21st International Workshop on Computer Scienc...

Informácie o knihe

Jazyk
Angličtina
Väzba
Kniha - Brožovaná
Vydalo
2007
Stránok
600
EAN
9783540749141
ISBN
3540749144
Enbook ID
01569227
Hmotnosť
932
Rozmery
155 x 235 x 33

Kompletný popis

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.

Mohlo by vás zaujímať

100.00
6.18

Permanent Record

KING ARTHUR
20.92

Echo Whispers

Patrick Naville
10.31
9.62
49.51

Clothes

John Harvey
50.00

Egyptian Literature

Epiphanius Wilson
23.18
23.96
43.91

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

La caida

Dan Simmons
18.07

Legie plamenů

Anthony Ryan
14.98

Pokrytie dlya giperzvukovyh samoletov

Mariya Alexandrovna Miller
34.67

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

Елена Хомич
32.02