LOGIC, PROBLEMS AND PROGRAMS

被引：0

作者：

GARCIANORIEGA, B

机构：

来源：

关键词：

D O I：

暂无

中图分类号：

C [社会科学总论];

学科分类号：

03 ; 0303 ;

摘要：

引用

页码：105 / 124

页数：20

相关论文

共 13 条

[1]

Barr A, 1981, HDB ARTIFICIAL INTEL

[2]

BODEN M, 1984, INTELIGENCIA ARTIFIC

[3]

BUNDY A, 1983, COMPUTER MODELLING M

[4]

COHEN PR, HDB ARTIFICIAL INTEL, V3

[5]

CUENA J., 1986, INTELIGENCIA ARTIFIC

[6]

DEANO A, 1975, INTRO LOGICA FORMAL

[7]

Kowalski R.A., 1979, LOGIC PROBLEM SOLVIN

[8]

Loveland D.W., 1978, AUTOMATED THEOREM PR, DOI DOI 10.1016/0378-4754(80)90081-6

[9]

POLYA G, 1953, MATEMATICAS RAZONAMI

[10]

RAPHAEL B, 1984, COMPUTADOR PENSANTE