Rankings
Publications
Search Publications
Cited-By Search
Sources
Publishers
Scholars
Scholars
Top Cited Scholars
Organizations
About
Login
Register
Home
Publications
The use of theorem-proving techniques in question-answering systems
Home
Publications
The use of theorem-proving techniques in question-answering systems
The use of theorem-proving techniques in question-answering systems
CG
C. Cordell Green
C. Cordell Green
BR
Bertram Raphael
Bertram Raphael
Publisher Website
Google Scholar
Add to library
Cite
Download
Share
Download
1 January 1968
proceedings article
Published by
Association for Computing Machinery (ACM)
p.
169-181
https://doi.org/10.1145/800186.810578
Abstract
No abstract available
Cited by 49 articles