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ț: 803.20 lei - 14%
Preț: 826.17 lei - 14%
Preț: 799.87 lei - 14%
Preț: 799.93 lei - 14%
Preț: 936.86 lei - 14%
Preț: 782.71 lei - 14%
Preț: 800.81 lei - 14%
Preț: 858.56 lei - 14%
Preț: 750.15 lei - 14%
Preț: 752.54 lei - 14%
Preț: 758.14 lei -
Preț: 319.79 lei - 14%
Preț: 746.13 lei -
Preț: 357.88 lei -
Preț: 305.69 lei - 14%
Preț: 1026.36 lei - 14%
Preț: 805.58 lei - 14%
Preț: 800.00 lei -
Preț: 364.71 lei - 11%
Preț: 462.80 lei - 14%
Preț: 1163.48 lei - 14%
Preț: 801.75 lei - 14%
Preț: 909.90 lei - 14%
Preț: 803.20 lei - 14%
Preț: 1160.65 lei - 14%
Preț: 799.18 lei - 14%
Preț: 801.75 lei - 14%
Preț: 971.61 lei - 14%
Preț: 793.18 lei - 14%
Preț: 709.91 lei - 14%
Preț: 832.33 lei - 14%
Preț: 763.65 lei -
Preț: 365.29 lei - 14%
Preț: 801.58 lei -
Preț: 363.99 lei - 14%
Preț: 799.51 lei - 14%
Preț: 803.20 lei - 27%
Preț: 667.14 lei - 27%
Preț: 1604.42 lei - 19%
Preț: 667.86 lei - 30%
Preț: 667.86 lei
Preț: 807.15 lei
Preț vechi: 938.55 lei
-14% Nou
Puncte Express: 1211
Preț estimativ în valută:
142.82€ • 167.71$ • 125.36£
142.82€ • 167.71$ • 125.36£
Carte tipărită la comandă
Livrare economică 27 ianuarie-10 februarie 26
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.