Human-Oriented and Machine-Oriented Reasoning: Remarks on Some Problems in the History of Automated Theorem Proving.评价结果

评估详情