Adaptation of Declaratively Represented Methods in Proof Planning (1995)

Cached

Download Links

by Xiaorong Huang , Manfred Kerber , Lassaad Cheikhrouhou
Venue:SEKI REPORT SR-95-12, FACHBEREICH INFORMATIK, UNIVERSIT AT DES SAARLANDES
Citations:4 - 2 self

Documents Related by Co-Citation

267 The Use of Explicit Plans to Guide Inductive Proofs – Alan Bundy, Alan Bundy - 1988
162 Rippling: a heuristic for guiding inductive proofs – Alan Bundy, Andrew Stevens, Frank Van Harmelen, Andrew Ireland, Alan Smaill - 1993
127 The Oyster-Clam system – A Bundy, F van Harmelen, C Horn, A Smaill - 1990
94 Experiments with Proof Plans for Induction – Alan Bundy, Frank van Harmelen, Jane Hesketh, Alan Smaill - 1992
571 1934-1935), “Untersuchungen Uber das logische Schliessen – Gerhard Gentzen
703 Introduction to Metamathematics – S Kleene - 1952
234 Derivational analogy: A theory of reconstructive problem solving and expertise acquisition – J G Carbonell - 1986
224 Automated Theorem Proving: A Logical Basis – D W Loveland - 1978
191 On second-order logic – G Boolos - 1975