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ț: 802.96 lei - 14%
Preț: 803.04 lei - 14%
Preț: 1165.37 lei - 14%
Preț: 940.53 lei - 14%
Preț: 782.71 lei - 14%
Preț: 803.91 lei - 14%
Preț: 861.90 lei - 14%
Preț: 750.15 lei - 14%
Preț: 752.54 lei - 14%
Preț: 761.08 lei -
Preț: 319.79 lei - 14%
Preț: 746.13 lei -
Preț: 359.25 lei -
Preț: 306.87 lei - 14%
Preț: 1030.35 lei - 14%
Preț: 808.71 lei - 14%
Preț: 803.11 lei -
Preț: 364.71 lei - 11%
Preț: 462.80 lei - 14%
Preț: 1168.00 lei - 14%
Preț: 804.87 lei - 14%
Preț: 913.43 lei - 14%
Preț: 806.32 lei - 14%
Preț: 804.87 lei - 14%
Preț: 766.62 lei -
Preț: 365.29 lei - 14%
Preț: 804.69 lei -
Preț: 363.99 lei - 14%
Preț: 802.62 lei - 14%
Preț: 806.32 lei
Preț: 810.29 lei
Preț vechi: 942.19 lei
-14%
Puncte Express: 1215
Carte tipărită la comandă
Livrare economică 15-29 iunie
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.
Descriere
This book presents a unifying framework for using priority arguments to prove theorems in computability.