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) 62068 lei  6-8 săpt.
  SPRINGER NETHERLANDS – oct 2011 62068 lei  6-8 săpt.
Hardback (1) 62914 lei  38-45 zile
  SPRINGER NETHERLANDS – 31 ian 1991 62914 lei  38-45 zile

Din seria Mathematics and its Applications

  • Numerical Methods for Fractal-Fractional Differential Equations and Engineering: Simulations and Modeling
    Preț: 39801 lei
  • 20% Numerical Methods for Differential Equations and Applications
    Preț: 61370 lei
  • Sequence Spaces: Topics in Modern Summability Theory
    Preț: 43814 lei
  • 15% Concise Introduction to Logic and Set Theory
    Preț: 42002 lei
  • 18% Mathematical Analysis for Engineering and Applied Sciences: Foundational and Fundamental Aspects
    Preț: 101451 lei
  • Special Functions in Fractional Calculus and Engineering
    Preț: 41952 lei
  • Methods of Mathematical Modelling: Fractional Differential Equations
    Preț: 43500 lei
  • 15% Integral Transforms and Engineering: Theory, Methods, and Applications
    Preț: 43403 lei
  • Tensor Calculus and Applications: Simplified Tools and Techniques
    Preț: 43056 lei
  • 15% Topics in Contemporary Mathematical Analysis and Applications
    Preț: 41163 lei
  • 20% Advanced Relational Programming
    Preț: 73741 lei
  • Advanced Numerical Methods for Differential Equations: Applications in Science and Engineering
    Preț: 47135 lei
  • 18% Engineering Mathematics and Artificial Intelligence: Foundations, Methods, and Applications
    Preț: 118602 lei
  • Sloshing in Upright Circular Containers: Theory, Analytical Solutions, and Applications
    Preț: 46226 lei
  • Mathematical Methods in Engineering and Applied Sciences
    Preț: 43794 lei
  • 20% Discrete Mathematical Structures: A Succinct Foundation
    Preț: 37335 lei
  • 18% Handbook of Splines
    Preț: 82079 lei
  • Fractional Calculus in Medical and Health Science
    Preț: 46104 lei
  • 20% Engineering Mathematics and Artificial Intelligence
    Preț: 48611 lei
  • 18% Subdifferentials
    Preț: 70575 lei
  • 15% Random Linear Operators
    Preț: 61803 lei
  • 15% Akaike Information Criterion Statistics
    Preț: 67145 lei
  • Combinatorics, Computing and Complexity
    Preț: 37805 lei
  • 15% Analytic Functional Calculus and Spectral Decompositions
    Preț: 62652 lei
  • 15% Tauberian Theorems for Generalized Functions
    Preț: 62259 lei
  • Geometry and Arithmetic Around Euler Partial Differential Equations
    Preț: 37471 lei
  • Autowave Processes in Kinetic Systems: Spatial and Temporal Self-Organisation in Physics, Chemistry, Biology, and Medicine
    Preț: 37915 lei
  • 15% Theory of Suboptimal Decisions: Decomposition and Aggregation
    Preț: 62701 lei
  • 20% Selected Topics in Algebra: and its Interrelations with Logic, Number Theory and Algebraic Geometry
    Preț: 62638 lei
  • 15% Stochastic Programming: with Multiple Objective Functions
    Preț: 62509 lei
  • Stochastic Equations for Complex Systems
    Preț: 36785 lei
  • Foundations of Optimum Experimental Design
    Preț: 40996 lei

Preț: 62914 lei

Preț vechi: 78642 lei
-20% Nou

Puncte Express: 944
Preț estimativ în valută:
11131€ • 12988$ • 9732£

Carte tipărită la comandă

Livrare economică 12-19 ianuarie 26

 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.