Feasible Mathematics: Progress in Computer Science and Applied Logic, cartea 9
Autor S. R. Buss, P. J. Scotten Limba Engleză Paperback – 1990
Din seria Progress in Computer Science and Applied Logic
- 20%
Preț: 329.74 lei -
Preț: 365.82 lei - 20%
Preț: 319.28 lei - 20%
Preț: 980.69 lei - 15%
Preț: 568.52 lei - 20%
Preț: 327.48 lei - 20%
Preț: 661.59 lei - 20%
Preț: 321.98 lei - 20%
Preț: 624.19 lei -
Preț: 373.03 lei - 20%
Preț: 564.08 lei - 20%
Preț: 456.63 lei -
Preț: 395.25 lei -
Preț: 378.78 lei -
Preț: 388.43 lei - 15%
Preț: 621.80 lei - 15%
Preț: 621.48 lei - 20%
Preț: 325.72 lei - 15%
Preț: 668.55 lei - 15%
Preț: 626.11 lei - 18%
Preț: 701.91 lei -
Preț: 384.13 lei - 20%
Preț: 483.83 lei - 20%
Preț: 321.97 lei -
Preț: 365.45 lei -
Preț: 366.56 lei
Preț: 321.74 lei
Preț vechi: 402.19 lei
-20%
Puncte Express: 483
Preț estimativ în valută:
56.89€ • 67.02$ • 49.60£
56.89€ • 67.02$ • 49.60£
Carte tipărită la comandă
Livrare economică 10-24 aprilie
Specificații
ISBN-13: 9780817634834
ISBN-10: 0817634835
Pagini: 364
Ilustrații: VIII, 352 p.
Dimensiuni: 152 x 229 x 20 mm
Greutate: 0.53 kg
Ediția:1990
Editura: birkhäuser
Colecția Progress in Computer Science and Applied Logic
Seria Progress in Computer Science and Applied Logic
Locul publicării:Boston, MA, United States
ISBN-10: 0817634835
Pagini: 364
Ilustrații: VIII, 352 p.
Dimensiuni: 152 x 229 x 20 mm
Greutate: 0.53 kg
Ediția:1990
Editura: birkhäuser
Colecția Progress in Computer Science and Applied Logic
Seria Progress in Computer Science and Applied Logic
Locul publicării:Boston, MA, United States
Public țintă
ResearchCuprins
Parity and the Pigeonhole Principle.- Computing over the Reals (or an Arbitrary Ring) Abstract.- On Model Theory for Intuitionistic Bounded Arithmetic with Applications to Independence Results.- Sequential, Machine Independent Characterizations of the Parallel Complexity Classes AlogTIME, ACk NCk and NC.- Characterizations of the Basic Feasible Functionals of Finite Type.- Functional Interpretations of Feasibly Constructive Arithmetic — Abstract.- Polynomial-time Combinatorial Operators are Polynomials.- Isols and Kneser Graphs.- Stockmeyer Induction.- Probabilities of Sentences about Two Linear Orderings.- Bounded Linear Logic: a Modular Approach to Polynomial Time Computability, Extended Abstract.- On Finite Model Theory (Extended Abstract).- Computational Models for Feasible Real Analysis.- Inverting a One-to-One Real Function is Inherently Sequential.- On Bounded ?11 Polynomial Induction.- Subrecursion and Lambda Representation over Free Algebras (Preliminary Summary).- Complexity-Theoretic Algebra: Vector Space Bases.- When is every Recursive Linear Ordering of Type ? Recursively Isomorphic to a Polynomial Time Linear Ordering over the Natural Numbers in Binary Form?.