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ț: 764.46 lei
- 14% Preț: 748.98 lei
- 14% Preț: 762.00 lei
- 14% Preț: 867.57 lei
- 14% Preț: 757.97 lei
- 14% Preț: 760.39 lei
- 14% Preț: 766.05 lei
- 14% Preț: 761.65 lei
- Preț: 304.57 lei
- 14% Preț: 712.03 lei
- Preț: 343.08 lei
- Preț: 308.66 lei
- 14% Preț: 979.57 lei
- 14% Preț: 766.87 lei
- 14% Preț: 761.24 lei
- Preț: 368.32 lei
- 14% Preț: 761.51 lei
- 11% Preț: 440.36 lei
- 14% Preț: 1112.94 lei
- 14% Preț: 763.00 lei
- 14% Preț: 867.07 lei
- 14% Preț: 764.46 lei
- 14% Preț: 1110.07 lei
- 14% Preț: 765.59 lei
- 14% Preț: 762.96 lei
- 14% Preț: 865.17 lei
- 14% Preț: 929.46 lei
- 14% Preț: 892.09 lei
- 14% Preț: 759.57 lei
- 14% Preț: 675.41 lei
- 14% Preț: 841.06 lei
- 14% Preț: 771.63 lei
- Preț: 368.89 lei
- 14% Preț: 762.78 lei
- Preț: 367.56 lei
- 14% Preț: 760.68 lei
- 14% Preț: 764.42 lei
- 18% Preț: 1549.54 lei
- 24% Preț: 644.26 lei
- 24% Preț: 748.72 lei
- 16% Preț: 644.96 lei
- 24% Preț: 644.96 lei
- 24% Preț: 821.35 lei
Preț: 768.45 lei
Preț vechi: 893.55 lei
-14% Nou
Puncte Express: 1153
Preț estimativ în valută:
147.07€ • 155.15$ • 122.56£
147.07€ • 155.15$ • 122.56£
Carte tipărită la comandă
Livrare economică 03-17 ianuarie 25
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.