Adaptive Access to a Proof Planner
暂无分享,去创建一个
[1] Darren Redfern,et al. The Maple handbook , 1994 .
[2] Erica Melis,et al. Integrating Constraint Solving into Proof Planning , 2000, FroCoS.
[3] Erica Melis,et al. Extensions of Constraint Solving for Proof Planning , 2000, ECAI.
[4] Kristina Reiss,et al. Individuelle und schulische Bedingungsfaktoren für Argumentationen und Beweise im Mathematikunterricht , 2002 .
[5] Frank van Harmelen,et al. Extensions to the Rippling-Out Tactic for Guiding Inductive Proofs , 1990, CADE.
[6] Erica Melis,et al. Adaptable Mixed-Initiative Proof Planning for Educational Interaction , 2004, Electron. Notes Theor. Comput. Sci..
[7] Luís Moniz Pereira,et al. Computational Logic — CL 2000 , 2000, Lecture Notes in Computer Science.
[8] Alan Bundy,et al. The Use of Explicit Plans to Guide Inductive Proofs , 1988, CADE.
[9] Volker Sorge,et al. Comparing Approaches to the Exploration of the Domain of Residue Classes , 2002, J. Symb. Comput..
[10] Paul Libbrecht,et al. ActiveMath: A Generic and Adaptive Web-Based Learning Environment , 2001 .
[11] Erica Melis,et al. Knowledge-Based Proof Planning , 1999, Artif. Intell..
[12] David A. Redfern,et al. The Maple Handbook: Maple V Release 3 , 1995 .
[13] E. Melis,et al. Automated Proof Planning for Instructional Design , 2001 .
[14] Michael Kohlhase,et al. OMDOC: Towards an Internet Standard for the Administration, Distribution, and Teaching of Mathematical Knowledge , 2000, AISC.
[15] Erica Melis,et al. Proof planning with multiple strategies , 2000, Artif. Intell..