Application of theorem proving to problem solving (1969)

Cached

Download Links

by Cordell Green
Citations:236 - 1 self

Active Bibliography

26 The Applications of Theorem Proving to Question-Answering Systems – Claude Cordell Green, Arpa Order No, Claude Cordell Green, Claude Cordell Green - 1969
11 Theorem-Proving by Resolution as a Basis for Question-Answering Systems – Cordell Green
42 Theorem-proving by resolution as a basis for question-answering 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 Z-Resolution: Theorem-Proving with Compiled Axioms – John K. Dixon - 1973
Personalisation in Adaptive E-Learning 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 higher-order 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 Socher-ambrosius - 1992
27 Automated Deduction in Equational Logic and Cubic Curves – William McCune, R. Padmanabhan - 1996
18 Higher Order Logic – Daniel Leivant - 1994
51 First-order proof tactics in higher-order logic theorem provers – Joe Hurd - 2003