Automated deduction by theory resolution

Journal of Automated Reasoning - Tập 1 Số 4 - 1985
Mark E. Stickel1,2
1Artificial Intelligence Center, SRI International, Meulo Park, USA
2Center for the Study of Language and Information Stanford University, Stanford, USA

Tóm tắt

Từ khóa


Tài liệu tham khảo

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

Journal of Automated Reasoning

Tập 1 Số 4

Thông tin tác giả