Książka Logic and Computational Complexity Daniel Leivant

Logic and Computational Complexity

International Workshop, LCC '94, Indianapolis, IN, USA, October 13-16, 1994. Selected Papers

Język: Angielski
Oprawa: Miękka
Wydawca: Springer, Berlin
Dostępność: Dostępna u dostawcy
Wysyłamy za 5-8 dni
212.42
This book contains revised versions of papers invited for presentation at the International Workshop...

Informacje o książce

Język
Angielski
Oprawa
Książka - Miękka
Data wydania
1995
strony
520
EAN
9783540601784
ISBN
3540601783
Enbook ID
05274488
Waga
694
Wymiary
156 x 234 x 27

Pełny opis

This book contains revised versions of papers invited for presentation at the International Workshop on Logic and Computational Complexity, LCC '94, held in Indianapolis, IN in October 1994.The synergy between logic and computational complexity has gained importance and vigor in recent years, cutting across many areas. The 25 revised full papers in this book contributed by internationally outstanding researchers document the state-of-the-art in this interdisciplinary field of growing interest; they are presented in sections on foundational issues, applicative and proof-theoretic complexity, complexity of proofs, computational complexity of functionals, complexity and model theory, and finite model theory.

Możesz być zainteresowany

Familiar Tail

Delia James
36.69
574.20
666.69

Whispering Woods

Lauren Lorenzo
37.76
212.42

Losing Eden

Sara Dant
152.45
100.95

If Not Me, Who?

Wendell H. Baker
104.65
124.71

Weimar Germany

Anthony McElligott
579.17
229.27
263.05
315.04
153.81
64.93

Tinker's Damn

Darryl Wimberley
44.48

Pancreatic Cystic Neoplasms

George H. Sakorafas
207.85

Klienci, którzy kupili tę książkę, kupili również

103.68
97.54
37.18

Chemiker-Kalender

Hans Ulrich von Vogel
218.17
113.22