Theorem-proving by resolution as a basis for question-answering systems, in (1969)

Cached

Download Links

by Cordell Green
Venue:Machine Intelligence, B. Meltzer and D. Michie, eds
Citations:42 - 0 self