DOI10.1007/BF01002330zbMath0401.68073MaRDI QIDQ4185847
Jack Minker, Gerald A. Wilson
Publication date: 1977 Published in: International Journal of Computer & Information Sciences (Search for Journal in Brave)
zbMATH Keywords
Algorithm; Theorem Proving; Questions; Answer Extraction; Proof Graph
Mathematics Subject Classification ID
Cites Work