A THEORY OF PLANS
暂无分享，去创建一个
[1] Malcolm C. Harrison,et al. Equality-based binary resolution , 1986, JACM.
[2] Zohar Manna,et al. Special relations in automated deduction , 1985, JACM.
[3] Corrado Moiso,et al. An Algorithm for Unification in Equational Theories , 1986, SLP.
[4] Zohar Manna,et al. The Origin of the Binary-Search Paradigm , 1985, IJCAI.
[5] Zohar Manna,et al. The logical basis for computer programming , 1985 .
[6] Neil V. Murray. Completely Non-Clausal Theorem Proving , 1982, Artif. Intell..
[7] John McCarthy,et al. SOME PHILOSOPHICAL PROBLEMS FROM THE STANDPOINT OF ARTI CIAL INTELLIGENCE , 1987 .
[8] Jean-Marie Hullot,et al. Canonical Forms and Unification , 1980, CADE.
[9] Zohar Manna,et al. A Deductive Approach to Program Synthesis , 1979, TOPL.
[10] Gerald J. Sussman,et al. A Computational Model of Skill Acquisition , 1973 .
[11] Richard Fikes,et al. STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving , 1971, IJCAI.
[12] Richard C. T. Lee,et al. PROW: A Step Toward Automatic Program Writing , 1969, IJCAI.
[13] C. Cordell Green,et al. Application of Theorem Proving to Problem Solving , 1969, IJCAI.
[14] James B. Morris,et al. E-Resolution: Extension of Resolution to Include the Equality Relation , 1969, IJCAI.