D. Baker-Plummer. Gazing: An Approach to the Problem of Definition and Lemma Use. Journal of Automated Reasoning, 8:311-344, 1992. Home/Search Document Not in Database Summary Related Articles |
This paper is cited in the following contexts:
Analytica - An Experiment in Combining Theorem Proving and.. - Bauer, Clarke, Zhao (1997) (11 citations) (Correct)
No context found.
D. Baker-Plummer. Gazing: An Approach to the Problem of Definition and Lemma Use. Journal of Automated Reasoning, 8:311-344, 1992.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC