A machine program for theorem-proving

Communications of the ACM - Tập 5 Số 7 - Trang 394-397 - 1962
Martin Davis1, George Logemann1, Donald W. Loveland1
1Institute of Mathematical Sciences, New York Univ., New York#TAB#

Tóm tắt

The programming of a proof procedure is discussed in connection with trial runs and possible improvements.

Từ khóa


Tài liệu tham khảo

10.1145/321033.321034

10.1147/rd.41.0028

PRAWITZ DAG, 1960, An improved proof procedure, Theoria, 26, 2

Thông tin
Thông tin xuất bản

Communications of the ACM

Tập 5 Số 7

394-397

Thông tin tác giả