Publisher
Springer Berlin Heidelberg
Reference16 articles.
1. Beeson, M.: Logic and computation in Mathpert: an expert system for learning mathematics, in: Kaltofen, E., and Watt, S. M. (eds.), Computers and Mathematics, pp. 202–214, Springer-Verlag (1989).
2. Beeson, M.: Design Principles of Mathpert: Software to support education in algebra and calculus, in: Kajler, N. (ed.) Human Interfaces to Symbolic Computation, Springer-Verlag, Berlin/Heidelberg/New York (1996).
3. Beeson, M.: Using nonstandard analysis to ensure the correctness of symbolic computations, International Journal of Foundations of Computer Science
6(3) (1995) 299–338.
4. Beeson, M.: Some applications of Gentzen’s proof theory in automated deduction, in: Shroeder-Heister, P., Extensions of Logic Programming, Springer Lecture Notes in Computer Science 475, pp. 101–156, Springer-Verlag (1991).
5. Beeson, M.: Unification in lambda-calculus, to appear in Automated Deduction: CADE-15 — Proc. of the 15th International Conference on Automated Deduction, Springer-Verlag, Berlin/Heidelberg (1998).
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A Fully Automatic Theorem Prover with Human-Style Output;Journal of Automated Reasoning;2016-06-11
2. A Tactic Language for Declarative Proofs;Interactive Theorem Proving;2010
3. Reductio ad Absurdum: Planning Proofs by Contradiction;Reasoning, Action and Interaction in AI Theories and Systems;2006
4. Constraint Solving for Proof Planning;Journal of Automated Reasoning;2004-07
5. The Mechanization of Mathematics;Alan Turing: Life and Legacy of a Great Thinker;2004