|
22
|
A Metatheory of a Mechanized Object Theory
– Fausto Giunchiglia, Paolo Traverso
- 1994
|
|
25
|
The GETFOL Manual - GETFOL version 1
– F Giunchiglia
- 1992
|
|
142
|
Prolegomena to a theory of mechanized formal reasoning
– R W Weyhrauch
- 1980
|
|
195
|
Natural Deduction. A proof Theoretical Study, Almqvist
– D Prawitz
- 1965
|
|
506
|
A Computational Logic
– Robert S Boyer, J Strother Moore
- 1979
|
|
23
|
Reflective Reasoning With and Between a Declarative Metatheory and the Implementation Code
– Fausto Giunchiglia, Paolo Traverso
- 1994
|
|
121
|
The Oyster-Clam System
– Alan Bundy, Frank van Harmelen, C Horn, Alan Smaill
- 1990
|
|
15
|
Introspective Metatheoretic Reasoning
– Fausto Giunchiglia, Alessandro Cimatti
- 1994
|
|
91
|
Edinburgh LCF: A Mechanized Logic of Computation
– M Gordon, R Milner, C P Wadsworth
- 1979
|
|
8
|
Adapting Methods to Novel Tasks in Proof Planning
– Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Jörn Richts
- 1994
|
|
158
|
Rippling: A Heuristic for Guiding Inductive Proofs
– Alan Bundy, Andrew Stevens, Frank Van Harmelen, Andrew Ireland, Alan Smaill
- 1993
|
|
53
|
The Use of Planning Critics in Mechanizing Inductive Proofs
– Andrew Ireland
- 1992
|
|
45
|
Problem solving and cognitive skill acquisition
– K Van Lehn
- 1989
|
|
12
|
FOL User Manual - FOL version 2
– F Giunchiglia, R W Weyhrauch
- 1991
|
|
258
|
The Use of Explicit Plans to Guide Inductive Proofs
– Alan Bundy, Alan Bundy
- 1988
|
|
99
|
Metafunctions: Proving Them Correct and Using Them Efficiently as New Proof Procedures
– R S Boyer, J S Moore
- 1981
|
|
387
|
The Foundation of a Generic Theorem Prover
– Lawrence C. Paulson
- 1989
|
|
728
|
A formulation of the simple theory of types
– A Church
- 1940
|
|
26
|
A Metalanguage for Interactive Proof in LCF
– Michael Gordon, Robin Milner, Lockwood Morris, Malcolm Newey, Christopher Wadsworth
- 1978
|
