A parallel approach for theorem proving in prepositional logic.评价结果

评估详情