26

The Applications of Theorem Proving to QuestionAnswering Systems
– Claude Cordell Green, Arpa Order No, Claude Cordell Green, Claude Cordell Green
 1969


11 TheoremProving by Resolution as a Basis for QuestionAnswering Systems
– Cordell Green

42

Theoremproving by resolution as a basis for questionanswering systems, in
– Cordell Green
 1969

4

Adept  A Heuristic Program For Proving Theorems Of Group Theory
– L]is Mark Norton, Departentel Gittee, Lewis Mark Norton
 1966

1

The Application of Automated Reasoning to Formal Models of Combinatorial Optimization
– Paul Helman, Robert Veroff


Automated reasoning: Real uses and . . .
– Larry Wos

7

Automated Reasoning and Bledsoe's Dream for the Field
– Larry Wos


and
– George Robinson, Lawrence Wos

7

ZResolution: TheoremProving with Compiled Axioms
– John K. Dixon
 1973


Personalisation in Adaptive ELearning Systems . . .
– Victor Manuel García Barrios
 2007


"CONSIDERATIONS IN DESIGNING A CYBERNETIC SIMPLE LEARNING MODEL; AND AN OVERVIEW OF THE PROBLEM OF MODELLING LEARNING."
– unknown authors
 1988

2

A mechanical analysis of program verification strategies
– Sandip Ray
 2008

13

Verification Condition Generation via Theorem Proving
– John Matthews, J Strother Moore, Ip Ray, Daron Vroon
 2006

302

Definitional interpreters for higherorder programming languages
– John C. Reynolds
 1972


Automated Deduction in Equational Logic and Geometry
– William Mccune, R. Padmanabhan
 1995

1

A Goal Oriented Strategy Based on Completion
– Rolf Socherambrosius
 1992

27

Automated Deduction in Equational Logic and Cubic Curves
– William McCune, R. Padmanabhan
 1996

18

Higher Order Logic
– Daniel Leivant
 1994

51

Firstorder proof tactics in higherorder logic theorem provers
– Joe Hurd
 2003
