Genetic Reasoning Evolving Proofs with Genetic Search
暂无分享,去创建一个
[1] Hans-Paul Schwefel,et al. Evolution and optimum seeking , 1995, Sixth-generation computer technology series.
[2] Robert S. Boyer,et al. Automated Correctness Proofs of Machine Code Programs for a Commercial Microprocessor , 1992, CADE.
[3] Bruce Lowerre,et al. The Harpy speech understanding system , 1990 .
[4] W. W. Bledsoe,et al. Non-Resolution Theorem Proving , 1977, Artif. Intell..
[5] J. A. Robinson,et al. A Machine-Oriented Logic Based on the Resolution Principle , 1965, JACM.
[6] Peter Nordin,et al. Complexity Compression and Evolution , 1995, ICGA.
[7] Lawrence J. Fogel,et al. Artificial Intelligence through Simulated Evolution , 1966 .
[8] J. A. NEWELLt,et al. Empirical Explorations of the Logic Theory Machine : A Case Study in Heuristic , .
[9] Vidroha Debroy,et al. Genetic Programming , 1998, Lecture Notes in Computer Science.
[10] L. Wos,et al. Automated generation of models and counterexamples and its application to open questions in Ternary Boolean algebra , 1978, MVL '78.
[11] D. Spalding. The Principles of Psychology , 1873, Nature.
[12] Richard M. Friedberg,et al. A Learning Machine: Part I , 1958, IBM J. Res. Dev..
[13] Nichael Lynn Cramer,et al. A Representation for the Adaptive Generation of Simple Sequential Programs , 1985, ICGA.
[14] S. C. Kleene,et al. Introduction to Metamathematics , 1952 .