Yazar
Claude Cordell Green
1 cilt bulundu.
Cilt sonuçları
The application of theorem proving to question-answering systems
Claude Cordell Green · Management Information Services
164 sayfa · 1970
Automatic theorem proving / Question-answering systems
Yükleniyor