Back to search
PROW: a step toward automatic program writing
Data up to Jan 2025
Published1969
Citations121
References6
Total Citations Per Year
Abstract
References (6)
A Machine-Oriented Logic Based on the Resolution Principle
1965 • 3,880 citations
Automatic Theorem Proving With Renamable and Semantic Resolution
1967 • 171 citations
The use of theorem-proving techniques in question-answering systems
1968 • 118 citations
Experiments with a deductive question-answering program
1965 • 68 citations
Experiments with a Heuristic Compiler
1963 • 68 citations
A proof procedure for quantification theory
1955 • 49 citations
Cited By (0)
No citing papers found in database