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ă Hardback – 31 ian 1991

Toate formatele și edițiile

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

Din seria Mathematics and its Applications

  • 26% Mathematical Analysis for Engineering and Applied Sciences: Foundational and Fundamental Aspects
    Preț: 73267 lei
  • Numerical Methods for Fractal-Fractional Differential Equations and Engineering: Simulations and Modeling
    Preț: 32428 lei
  • Special Functions in Fractional Calculus and Engineering
    Preț: 31065 lei
  • 13% Mathematical Methods in Engineering and Applied Sciences
    Preț: 31016 lei
  • 26% Sloshing in Upright Circular Containers: Theory, Analytical Solutions, and Applications
    Preț: 86913 lei
  • 23% Concise Introduction to Logic and Set Theory
    Preț: 31398 lei
  • 13% Methods of Mathematical Modelling: Fractional Differential Equations
    Preț: 30886 lei
  • 22% Topics in Contemporary Mathematical Analysis and Applications
    Preț: 33121 lei
  • 13% Fractional Calculus in Medical and Health Science
    Preț: 34990 lei
  • 13% Sequence Spaces: Topics in Modern Summability Theory
    Preț: 31026 lei
  • 22% Integral Transforms and Engineering: Theory, Methods, and Applications
    Preț: 34724 lei
  • 31% Discrete Mathematical Structures: A Succinct Foundation
    Preț: 26268 lei
  • 22% Advanced Numerical Methods for Differential Equations: Applications in Science and Engineering
    Preț: 31971 lei
  • 14% Tensor Calculus and Applications: Simplified Tools and Techniques
    Preț: 30651 lei
  • 26% Engineering Mathematics and Artificial Intelligence: Foundations, Methods, and Applications
    Preț: 90652 lei
  • Combinatorics, Computing and Complexity
    Preț: 38507 lei
  • 15% Analytic Functional Calculus and Spectral Decompositions
    Preț: 63848 lei
  • 15% Random Linear Operators
    Preț: 62983 lei
  • 15% Akaike Information Criterion Statistics
    Preț: 63450 lei
  • 15% Tauberian Theorems for Generalized Functions
    Preț: 63450 lei
  • Geometry and Arithmetic Around Euler Partial Differential Equations
    Preț: 38168 lei
  • Autowave Processes in Kinetic Systems: Spatial and Temporal Self-Organisation in Physics, Chemistry, Biology, and Medicine
    Preț: 38620 lei
  • 15% Theory of Suboptimal Decisions: Decomposition and Aggregation
    Preț: 63899 lei
  • 20% Selected Topics in Algebra: and its Interrelations with Logic, Number Theory and Algebraic Geometry
    Preț: 63838 lei
  • 15% Stochastic Programming: with Multiple Objective Functions
    Preț: 63704 lei
  • Stochastic Equations for Complex Systems
    Preț: 37469 lei
  • Foundations of Optimum Experimental Design
    Preț: 38507 lei
  • 15% Probability Distributions on Banach Spaces
    Preț: 64411 lei
  • 15% Classical Principles and Optimization Problems
    Preț: 64507 lei
  • The Riemann Boundary Problem on Riemann Surfaces
    Preț: 38316 lei
  • Z Transform Theory and Applications
    Preț: 38636 lei

Preț: 58130 lei

Preț vechi: 72663 lei
-20% Nou

Puncte Express: 872
Preț estimativ în valută:
11124€ • 11729$ • 9260£

Carte tipărită la comandă

Livrare economică 06-13 ianuarie 25

 Adaugă în coș

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

Specificații

ISBN-13: 9780792302186
ISBN-10: 0792302184
Pagini: 373
Ilustrații: XXVII, 373 p.
Dimensiuni: 155 x 235 x 32 mm
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.