A Theory of Hypothesis Finding in Clausal Logic

Progress in Discovery Science - Lecture Notes in Computer Science ◽

10.1007/3-540-45884-0_16 ◽

2002 ◽

pp. 246-257

Author(s):

Akihiro Yamamoto ◽

Bertram Fronhöfer

Download Full-text