TY  - BOOK
AU  - Green Claude Cordell
TI  - Applications of theorem providing to question-answering systems
U1  - D65,8(B), L35 
PY  - 1973///
CY  - Michigan
PB  - Management Information Services     
KW  - Computer science
ER  -