Daniel H. Fishman
From MaRDI portal
Person:1216191
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| A Problem-Oriented Search Procedure for Theorem Proving IEEE Transactions on Computers | 1976-01-01 | Paper |
| \(\Pi\)-representation: A clause representation for parallel search Artificial Intelligence | 1975-01-01 | Paper |
| MRPPS?An interactive refutation proof procedure system for question-answering International Journal of Computer & Information Sciences | 1974-01-01 | Paper |
| The \(Q^*\) algorithm - a search strategy for a deductive question-answering system Artificial Intelligence | 1973-01-01 | Paper |
Research outcomes over time
This page was built for person: Daniel H. Fishman
