MacKE: Yet Another Proof Assistant & Automated Pedagogic Tool
暂无分享,去创建一个
[1] Marcello D'Agostino,et al. Investigations into the complexity of some propositional calculi , 1990 .
[2] W. Buxton. Human-Computer Interaction , 1988, Springer Berlin Heidelberg.
[3] Marcello D'Agostino,et al. The Taming of the Cut. Classical Refutations with Analytic Cut , 1994, J. Log. Comput..
[4] Melvin Fitting,et al. First-Order Logic and Automated Theorem Proving , 1990, Graduate Texts in Computer Science.
[5] Jeremy V. Pitt,et al. Theorem Proving and Model Building with the Calculus KE , 1996, Log. J. IGPL.
[6] Keith Oatley,et al. Information Flow in a User Interface: the Effect of Experience and Context on the Recall of MacWrite Screens , 1988, BCS HCI.
[7] Ben Shneiderman,et al. Direct Manipulation: A Step Beyond Programming Languages , 1983, Computer.
[8] Y Yang,et al. Evaluating usability of human-computer interfaces: a practical method , 1990 .