Theorem Proving and Model Building with the Calculus KE
暂无分享,去创建一个
[1] John K. Ousterhout,et al. Tcl and the Tk Toolkit , 1994 .
[2] R. Scherl. A constraint logic approach to automated modal deduction , 1992 .
[3] Melvin Fitting,et al. First-Order Logic and Automated Theorem Proving , 1990, Graduate Texts in Computer Science.
[4] Bernhard Beckert,et al. An Improved Method for Adding Equality to Free Variable Semantic Tableaux , 1992, CADE.
[5] William R. Swartout. The GIST Behavior Explainer , 1983, AAAI.
[6] Jim Cunningham,et al. Logical animation , 1990, [1990] Proceedings. 12th International Conference on Software Engineering.
[7] M. Fitting. Proof Methods for Modal and Intuitionistic Logics , 1983 .
[8] Jim Cunningham,et al. Proving properties of a safety-critical system , 1991, Softw. Eng. J..
[9] Herbert A. Simon,et al. Why a diagram is (sometimes) worth 10, 000 word , 1987 .
[10] Marcello D'Agostino,et al. Investigations into the complexity of some propositional calculi , 1990 .
[11] Marcello D'Agostino,et al. Are tableaux an improvement on truth-tables? , 1992, J. Log. Lang. Inf..
[12] Bernhard Beckert. Leant a P: Lean Tableau-based Theorem Proving , .
[13] Jeremy V. Pitt,et al. Making requirements specifications accessible via logic, language and graphics: a progress report , 1995, IEA/AIE '95.
[14] Stephen A. Cook,et al. The Relative Efficiency of Propositional Proof Systems , 1979, Journal of Symbolic Logic.
[15] Bernhard Beckert,et al. The Tableau – Based Theorem Prover 3 T AP for Multiple – Valued Logics ∗ , 1992 .