Daniel H. Fishman

From MaRDI portal
Person:1216191

Available identifiers

zbMath Open fishman.daniel-hMaRDI QIDQ1216191

List of research outcomes





PublicationDate of PublicationType
A Problem-Oriented Search Procedure for Theorem Proving1976-01-01Paper
\(\Pi\)-representation: A clause representation for parallel search1975-01-01Paper
MRPPS?An interactive refutation proof procedure system for question-answering1974-01-01Paper
The \(Q^*\) algorithm - a search strategy for a deductive question-answering system1973-01-01Paper

Research outcomes over time

This page was built for person: Daniel H. Fishman

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:1216191&oldid=6036303"
Powered by MediaWiki