Formal Proof
暂无分享,去创建一个
[1] W. Bledsoe,et al. Automated Theorem Proving: After 25 Years , 1984 .
[2] Robin Milner,et al. Definition of standard ML , 1990 .
[3] Hao Wang,et al. Computer Theorem Proving and Artificial Intelligence , 1990 .
[4] Allen Newell,et al. Empirical explorations with the logic theory machine: a case study in heuristics , 1995 .
[5] Branden Fitelson. Using Mathematica to Understand the Computer Proof of the Robbins Conjecture , 1997 .
[6] Béla Bollobás,et al. On some conjectures of Graffiti , 1998, Discret. Math..
[7] Patrick Brézillon,et al. Lecture Notes in Artificial Intelligence , 1999 .
[8] G. Plotkin,et al. Proof, language, and interaction: essays in honour of Robin Milner , 2000 .
[9] Michael J. C. Gordon,et al. From LCF to HOL: a short history , 2000, Proof, Language, and Interaction.
[10] Cem Kaner,et al. Lessons Learned in Software Testing , 2001 .
[11] William McCune,et al. Solution of the Robbins Problem , 1997, Journal of Automated Reasoning.
[12] Xavier Leroy,et al. Formal certification of a compiler back-end or: programming a compiler with a proof assistant , 2006, POPL '06.
[13] John Harrison,et al. Towards Self-verification of HOL Light , 2006, IJCAR.
[14] D. West,et al. Some conjectures of Graffiti . pc on total domination , 2007 .
[15] John Harrison,et al. A Short Survey of Automated Reasoning , 2007, AB.
[16] John Harrison,et al. Handbook of Practical Logic and Automated Reasoning , 2009 .