Cantitate/Preț
Produs
Total produse
Vezi coșul
Computation, Logic, Philosophy de Wang Hao

Computation, Logic, Philosophy: Mathematics and Its Applications, cartea 2

Autor Wang Hao
en Limba Engleză Hardback – 31 ian 1991

Din seria Mathematics and Its Applications

  • Scheduling Theory. Single-Stage Systems
    Preț: 41268 lei
  • 18% Representation of Lie Groups and Special Functions
    Preț: 104825 lei
  • 15% Scheduling Theory
    Preț: 67296 lei
  • Combinatorics, Computing and Complexity
    Preț: 40405 lei
  • 15% Random Linear Operators
    Preț: 66205 lei
  • 15% Akaike Information Criterion Statistics
    Preț: 72346 lei
  • 15% Tauberian Theorems for Generalized Functions
    Preț: 66729 lei
  • 15% Functional Integration and Semiclassical Expansions
    Preț: 66815 lei
  • Autowave Processes in Kinetic Systems
    Preț: 40532 lei
  • 20% Bifurcation Theory, Mechanics and Physics: Mathematical Developments and Applications
    Preț: 61589 lei
  • Geometry and Arithmetic Around Euler Partial Differential Equations
    Preț: 39919 lei
  • Functional Equations: History, Applications and Theory
    Preț: 40456 lei
  • 18% Fundamentals of General Topology
    Preț: 103784 lei
  • 15% Stochastic Programming
    Preț: 66841 lei
  • 15% Operator Commutation Relations
    Preț: 67676 lei
  • 15% Probability Distributions on Banach Spaces
    Preț: 67798 lei
  • 15% Operator Commutation Relations: Commutation Relations for Operators, Semigroups, and Resolvents with Applications to Mathematical Physics and Representations of Lie Groups
    Preț: 62477 lei
  • 15% Partial Differential Equations: New Methods for Their Treatment and Solution
    Preț: 61645 lei
  • The Riemann Boundary Problem on Riemann Surfaces
    Preț: 40199 lei
  • Z Transform Theory and Applications
    Preț: 43909 lei
  • Multidimensional Systems Theory
    Preț: 40844 lei
  • Nonlinear Equations and Operator Algebras
    Preț: 39931 lei
  • 15% Wave Propagation
    Preț: 67010 lei
  • 15% Wave Propagation: An Invariant Imbedding Approach
    Preț: 61899 lei
  • 18% Differential Equations with Discontinuous Righthand Sides
    Preț: 97531 lei
  • 20% Orthomodular Lattices
    Preț: 68497 lei
  • Physical Models and Equilibrium Methods in Programming and Economics
    Preț: 41174 lei
  • Combinatorial Complexes
    Preț: 40098 lei
  • Statistical Analysis and Control of Dynamic Systems
    Preț: 43679 lei
  • Combinatorial Complexes: A Mathematical Theory of Algorithms
    Preț: 36823 lei
  • 15% The Convolution Product
    Preț: 66841 lei
  • Nonparametric Estimation of Probability Densities and Regression Curves
    Preț: 40252 lei
  • The Assay of Spatially Random Material
    Preț: 37491 lei
  • 15% Renormalized Quantum Field Theory
    Preț: 67950 lei
  • 15% Scattering by Obstacles
    Preț: 67773 lei
  • 20% Finite Element Methods and Navier-Stokes Equations
    Preț: 64535 lei
  • Fundamentals of Mathematical Evolutionary Genetics
    Preț: 41461 lei
  • Geometry of CR-Submanifolds
    Preț: 39993 lei
  • 18% The Theory of Algorithms
    Preț: 98519 lei
  • Mathematical Modelling in Biomedicine
    Preț: 40584 lei
  • 15% Analysis and Mathematical Physics
    Preț: 67633 lei
  • 15% Elliptically Contoured Models in Statistics
    Preț: 66883 lei
  • Algebraic Structures and Operator Calculus
    Preț: 40353 lei

Preț: 66239 lei

Preț vechi: 82799 lei
-20%

Puncte Express: 994
Paperback 62068 lei
Hardback 66239 lei

Carte tipărită la comandă

Livrare economică 30 noiembrie-07 decembrie

Livrare prin curier în România Termenul estimat este afișat lângă disponibilitate.
Transport gratuit pentru acest produs Plată online sau ramburs, în funcție de opțiunile comenzii.
Retur gratuit în 14 zile Comandă securizată și suport în română.
 Adaugă în coș

Wish list
Gift list
Am citit!
Adaugă în listă

Specificații

ISBN-13: 9780792302186
ISBN-10: 0792302184
Pagini: 404
Ilustrații: XXVII, 373 p.
Dimensiuni: 160 x 241 x 31 mm
Greutate: 0.79 kg
Ediția:1990
Editura: Springer
Colecția Mathematics and its Applications
Seria Mathematics and Its Applications

Locul publicării:Dordrecht, Netherlands

Public țintă

Research

Cuprins

One. Broad Issues.- 1. On Formalization.- 2. The Concept of Computability [(1953)].- 3. Process and Existence in Mathematics [1961(60)].- 4. Logic, Computation and Philosophy [1971(66)].- Two. Automated Theorem Proving(ATP).- 5. Computer Theorem Proving and Artificial Intelligence [1984(82)].- 6. Proving Theorems by Pattern Recognition, I [1960(59)].- 7. Observations on ATP.- 8. Some Data for ATP.- 9. Proving Theorems by Pattern Recognition, II [1961(60)a].- Three. Decidability and Complexity.- 10. Games, Logic and Computers [1965a].- 11. Dominoes and the AEA Case of the Decision Problem [1963(62)].- 12. Towards Feasible Solutions of the Tautology Problem (with B.Dunhan) [1976(74)].- 13. Ranked Matching and Hospital Interns (with D.A.Martin) [(1977)].- Four. Topics from Theory to Practice.- 14. Logical Fragments Relevant to Computer Science.- 15. Computers and Mathematical Activity.- 16. On Information Processing of the Chinese Language [1979].- The List of the Publications of the Author.