Applications of theorem providing to question-answering systems - Green Claude Cordell (Michigan Management Information Services, 1973)
Keywords: Computer science