---

＜電子ブック＞
Computation, Logic, Philosophy : A Collection of Essays / by Wang Hao
(Mathematics and its Applications, Chinese Series ; 2)

版	1st ed. 1990.
出版者	(Dordrecht : Springer Netherlands : Imprint: Springer)
出版年	1990
本文言語	英語
大きさ	XXVII, 373 p : online resource
著者標目	*Wang Hao author SpringerLink (Online service)
件　名	LCSH:Mathematical logic LCSH:Technology -- Philosophy  全ての件名で検索 LCSH:Computer science FREE:Mathematical Logic and Foundations FREE:Philosophy of Technology FREE:Theory of Computation
一般注記	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 HTTP:URL=https://doi.org/10.1007/978-94-009-2356-0

 類似資料