A Deductive System for elementary Arithmetic

Artificial Intelligence and the Simulation of Behaviour Pub Date : 1976-07-12 DOI:10.5555/3015508.3015517

F. Brown

引用次数: 3

Abstract

We describe a theorem prover for elementary number theory based on truth value preserving transformations, and present some theorems which it has proven.

查看原文本刊更多论文

初等算术的演绎系统

描述了一个基于保真值变换的初等数论定理证明器，并给出了它所证明的定理。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文求助全文

来源期刊

Artificial Intelligence and the Simulation of Behaviour

自引率

0.00%

发文量