A Framework for Priority Arguments: Lecture Notes in Logic, cartea 34
Autor Manuel Lermanen Limba Engleză Hardback – 18 apr 2010
Din seria Lecture Notes in Logic
- 14% Preț: 1925.68 lei
- 14% Preț: 787.01 lei
- 9% Preț: 868.11 lei
- 14% Preț: 771.07 lei
- 14% Preț: 784.48 lei
- 14% Preț: 893.19 lei
- 14% Preț: 780.35 lei
- 14% Preț: 782.83 lei
- 14% Preț: 788.66 lei
- 14% Preț: 784.11 lei
- Preț: 313.47 lei
- 14% Preț: 733.02 lei
- Preț: 353.10 lei
- Preț: 317.67 lei
- 14% Preț: 1008.51 lei
- 14% Preț: 789.51 lei
- 14% Preț: 783.70 lei
- Preț: 379.09 lei
- 14% Preț: 783.96 lei
- 11% Preț: 453.27 lei
- 14% Preț: 1145.84 lei
- 14% Preț: 785.52 lei
- 14% Preț: 892.69 lei
- 14% Preț: 787.01 lei
- 14% Preț: 1142.88 lei
- 14% Preț: 788.17 lei
- 14% Preț: 785.46 lei
- 14% Preț: 956.91 lei
- 14% Preț: 918.45 lei
- 14% Preț: 781.98 lei
- 14% Preț: 695.32 lei
- 14% Preț: 865.89 lei
- 14% Preț: 794.40 lei
- Preț: 379.68 lei
- 14% Preț: 785.28 lei
- Preț: 378.34 lei
- 14% Preț: 783.13 lei
- 14% Preț: 786.95 lei
- 23% Preț: 648.00 lei
- 23% Preț: 753.07 lei
- 15% Preț: 648.70 lei
- 23% Preț: 648.70 lei
- 23% Preț: 826.11 lei
Preț: 791.14 lei
Preț vechi: 919.94 lei
-14% Nou
Puncte Express: 1187
Preț estimativ în valută:
151.38€ • 158.48$ • 125.26£
151.38€ • 158.48$ • 125.26£
Carte tipărită la comandă
Livrare economică 05-19 aprilie
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9780521119696
ISBN-10: 0521119693
Pagini: 192
Dimensiuni: 158 x 235 x 15 mm
Greutate: 0.57 kg
Editura: Cambridge University Press
Colecția Cambridge University Press
Seria Lecture Notes in Logic
Locul publicării:New York, United States
ISBN-10: 0521119693
Pagini: 192
Dimensiuni: 158 x 235 x 15 mm
Greutate: 0.57 kg
Editura: Cambridge University Press
Colecția Cambridge University Press
Seria Lecture Notes in Logic
Locul publicării:New York, United States
Cuprins
1. Introduction; 2. Systems of trees of strategies; 3. Σ1 constructions; 4. Δ2 constructions; 5. µ2 constructions; 6. Δ3 constructions; 7. Σ3 constructions; 8. Paths and links; 9. Backtracking; 10. Higher level constructions; 11. Infinite systems of trees.
Notă biografică
Descriere
This book presents a unifying framework for using priority arguments to prove theorems in computability.