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ț: 368.16 lei - 20%
Preț: 319.28 lei - 24%
Preț: 904.96 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ț: 485.40 lei - 20%
Preț: 321.97 lei -
Preț: 367.68 lei -
Preț: 368.53 lei
Preț: 321.74 lei
Preț vechi: 402.19 lei
-20%
Puncte Express: 483
Carte tipărită la comandă
Livrare economică 18 iulie-01 august
Livrare prin curier în România Termenul estimat este afișat lângă disponibilitate.
Transport gratuit de la 400.00 lei Plată online sau ramburs, în funcție de opțiunile comenzii.
Retur gratuit în 14 zile Comandă securizată și suport în română.
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?.