Computation, Logic, Philosophy
Autor Wang Haoen Limba Engleză Hardback – 31 ian 1991
| Toate formatele și edițiile | Preț | Express |
|---|---|---|
| Paperback (1) | 620.68 lei 6-8 săpt. | |
| SPRINGER NETHERLANDS – oct 2011 | 620.68 lei 6-8 săpt. | |
| Hardback (1) | 635.43 lei 38-44 zile | |
| Springer – 31 ian 1991 | 635.43 lei 38-44 zile |
Preț: 635.43 lei
Preț vechi: 794.29 lei
-20%
Puncte Express: 953
Preț estimativ în valută:
112.35€ • 132.50$ • 97.91£
112.35€ • 132.50$ • 97.91£
Carte tipărită la comandă
Livrare economică 07-13 aprilie
Specificații
ISBN-13: 9780792302186
ISBN-10: 0792302184
Pagini: 404
Ilustrații: XXVII, 373 p.
Dimensiuni: 160 x 241 x 31 mm
Greutate: 0.84 kg
Ediția:1990
Editura: Springer
Locul publicării:Dordrecht, Netherlands
ISBN-10: 0792302184
Pagini: 404
Ilustrații: XXVII, 373 p.
Dimensiuni: 160 x 241 x 31 mm
Greutate: 0.84 kg
Ediția:1990
Editura: Springer
Locul publicării:Dordrecht, Netherlands
V-ar putea interesa
-
Sets: An IntroductionMichael D. Potter-23%Preț: 139.03 lei179.73 lei -
-15%Preț: 335.20 lei396.68 lei -
Classic Set Theory: For Guided Independent StudyD.C. Goldrei-15%Preț: 654.01 lei769.43 lei -
The Mathematical UniverseWilliam DunhamPreț: 136.14 lei -
Introduction to Lattices and OrderB. A. DaveyPreț: 378.22 lei -
Introduction to Set Theory, Revised and ExpandedKarel Hrbacek-18%Preț: 751.58 lei916.56 lei -
The Mathematics of InfinityTheodore G Faticoni-8%Preț: 569.64 lei619.18 lei -
-27%Preț: 774.24 lei1060.59 lei -
-27%Preț: 859.04 lei1176.77 lei -
Combinatory Logic: Pure, Applied and TypedKatalin Bimbó-20%Preț: 1121.18 lei1401.47 lei -
Preț: 446.93 lei -
Universal Algebra: Fundamentals and Selected TopicsClifford Bergman-20%Preț: 884.17 lei1105.22 lei -
Mathematics: All That MattersMike AskewPreț: 61.41 lei -
Preț: 399.43 lei
Public țintă
ResearchCuprins
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.