Reasoning by Analogy as an Aid to Heuristic Theorem Proving

Rob Kling. Reasoning by Analogy as an Aid to Heuristic Theorem Proving. In IFIP Congress (1). pages 195-200, 1971.

Abstract

Abstract is missing.