Application of theorem proving to problem solving (1969)

Cached

Download Links

by Cordell Green
Citations:223 - 1 self

Active Bibliography

27 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
Personalisation in Adaptive E-Learning Systems . . . – Victor Manuel García Barrios - 2007
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
300 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
19 Higher Order Logic – Daniel Leivant - 1994
50 First-order proof tactics in higher-order logic theorem provers – Joe Hurd - 2003
Library of Congress Cataloging-in-Publication Data – Harold Abelson, Gerald Jay Sussman, Julie Sussman, Foreword Alan J. Perlis, London England, Mcgraw-hill Book Company
2.2 Semantics of First-Order Logic.................. 10 – Marek A. Suchenek, Rajshekhar Sunderraman