Michael Beeson

发表

Design principles of Mathpert: software to support education in algebra and calculus

Michael Beeson, 1998, Computer-Human Interaction in Symbolic Computation.

Recursive models for constructive set theories

Michael Beeson, M. Beeson, 1982, Ann. Math. Log..

Logic and Computation in MATHPERT: An Expert System for Learning Mathematics

Michael Beeson, M. Beeson, 1989, Computers and Mathematics.

Proving Programs and Programming Proofs

Michael Beeson, M. Beeson, 1986 .

Constructive Models of Set Theory

Michael Beeson, 1985 .

Review: Larry Wos, Ross Overbeek, Ewing Lusk, Jim Boyle, Automated Reasoning. Introduction and Applications

Michael Beeson, 1986 .

Constructive Type Theories

Michael Beeson, 1985 .

Theories of Rules and Proofs

Michael Beeson, 1985 .

MathXpert : un logiciel pour aider les élèves à apprendre les mathématiques par l'action

Michael Beeson, 2002 .