Theorem proving in a mathematical information environment

被引：1

作者：

Kapitonova, YV

Letichevskii, AA

机构：

来源：

关键词：

Theorem Prove; Constraint System; Entailment Relation; Mathematical Text; Artificial Theoretician;

D O I：

10.1007/BF02666993

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

[No abstract available]

引用

页码：481 / 488

页数：8

共 9 条

[1]

ANUFRIEV FV, 1966, KIBERNETIKA, P23

[2]

Glushkov V. M., 1972, KIBERNETIKA, P19

[3]

Glushkov V. M., 1970, KIBERNETIKA, P3

[4]

KAPITONOVA YV, 1988, KIBERNETIKA, P17

[5] COMPUTATIONS IN APS [J].

LETICHEVSKY, AA ;

KAPITONOVA, JV ;

KONOZENKO, SV .

[6]

LETICHEVSKY AA, 1998, KIBERN SIST ANAL, P16

[7] CONDITIONAL REWRITING LOGIC AS A UNIFIED MODEL OF CONCURRENCY [J].

MESEGUER, J .

[8]

PARK DMR, 1981, LECT NOTES COMPUT SC

[9]

Saraswat V. A., 1993, CONCURRENT CONSTRAIN