Cantitate/Preț
Produs
Total produse
Vezi coșul
Computation, Logic, Philosophy: A Collection of Essays de Wang Hao

Computation, Logic, Philosophy: A Collection of Essays: Mathematics and its Applications, cartea 2

Autor Wang Hao
en Limba Engleză Paperback – oct 2011

Toate formatele și edițiile

Toate formatele și edițiile Preț Express
Paperback (1) 64560 lei  6-8 săpt.
  SPRINGER NETHERLANDS – oct 2011 64560 lei  6-8 săpt.
Hardback (1) 58133 lei  38-44 zile
  SPRINGER NETHERLANDS – 31 ian 1991 58133 lei  38-44 zile

Din seria Mathematics and its Applications

  • Concise Introduction to Logic and Set Theory
    Preț: 48329 lei
  • Numerical Methods for Fractal-Fractional Differential Equations and Engineering: Simulations and Modeling
    Preț: 36783 lei
  • The Method of Newton’s Polyhedron in the Theory of Partial Differential Equations
    Preț: 38189 lei
  • Mathematical Methods in Engineering and Applied Sciences
    Preț: 43517 lei
  • 23% Sloshing in Upright Circular Containers: Theory, Analytical Solutions, and Applications
    Preț: 32152 lei
  • 20% Discrete Mathematical Structures: A Succinct Foundation
    Preț: 37126 lei
  • Methods of Mathematical Modelling: Fractional Differential Equations
    Preț: 43250 lei
  • 22% Advanced Numerical Methods for Differential Equations: Applications in Science and Engineering
    Preț: 32153 lei
  • Sequence Spaces: Topics in Modern Summability Theory
    Preț: 43539 lei
  • 15% Integral Transforms and Engineering: Theory, Methods, and Applications
    Preț: 45913 lei
  • Tensor Calculus and Applications: Simplified Tools and Techniques
    Preț: 42771 lei
  • 12% Fractional Calculus in Medical and Health Science
    Preț: 35191 lei
  • 22% Topics in Contemporary Mathematical Analysis and Applications
    Preț: 33311 lei
  • Special Functions in Fractional Calculus and Engineering
    Preț: 35663 lei
  • 18% Engineering Mathematics and Artificial Intelligence: Foundations, Methods, and Applications
    Preț: 112542 lei
  • Combinatorics, Computing and Complexity
    Preț: 39297 lei
  • 15% Analytic Functional Calculus and Spectral Decompositions
    Preț: 65167 lei
  • 15% Random Linear Operators
    Preț: 64283 lei
  • 15% Akaike Information Criterion Statistics
    Preț: 64759 lei
  • 15% Tauberian Theorems for Generalized Functions
    Preț: 64759 lei
  • Geometry and Arithmetic Around Euler Partial Differential Equations
    Preț: 38949 lei
  • Autowave Processes in Kinetic Systems: Spatial and Temporal Self-Organisation in Physics, Chemistry, Biology, and Medicine
    Preț: 39412 lei
  • 15% Theory of Suboptimal Decisions: Decomposition and Aggregation
    Preț: 65217 lei
  • 20% Selected Topics in Algebra: and its Interrelations with Logic, Number Theory and Algebraic Geometry
    Preț: 65157 lei
  • 15% Stochastic Programming: with Multiple Objective Functions
    Preț: 65019 lei
  • Stochastic Equations for Complex Systems
    Preț: 38236 lei
  • Foundations of Optimum Experimental Design
    Preț: 39297 lei
  • 15% Probability Distributions on Banach Spaces
    Preț: 65739 lei
  • 15% Classical Principles and Optimization Problems
    Preț: 65837 lei
  • Z Transform Theory and Applications
    Preț: 39429 lei

Preț: 64560 lei

Preț vechi: 75954 lei
-15% Nou

Puncte Express: 968
Preț estimativ în valută:
12357€ • 12734$ • 10432£

Carte tipărită la comandă

Livrare economică 03-17 martie

 Adaugă în coș

Wish list
Gift list
Am citit!
Adaugă în listă
Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9789401075619
ISBN-10: 9401075611
Pagini: 404
Ilustrații: XXVII, 373 p.
Dimensiuni: 155 x 235 x 21 mm
Greutate: 0.56 kg
Ediția:1990
Editura: SPRINGER NETHERLANDS
Colecția Springer
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.