PROGRAMMING PARADIGMS FOR SYMBOLIC COMPUTATION SYSTEMS-ANALYSIS OF AN EXAMPLE

被引：0
作者：
PETERMANN, U
机构：
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1990年 / 429卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：71 / 80
页数：10
相关论文
共 10 条
[1]  
APEL J, UNPUB ISSAC 88
[2]  
APEL J, SYMSAC 86
[3]  
APEL J, EUROCAL 87
[4]   HISTORY AND BASIC FEATURES OF THE CRITICAL-PAIR COMPLETION PROCEDURE [J].
BUCHBERGER, B .
JOURNAL OF SYMBOLIC COMPUTATION, 1987, 3 (1-2) :3-38
[5]  
CIONI G, 1986, R158 I AN SYST INF C
[6]  
DAHL OJ, 1967, SIMULA 67
[7]  
Goldberg A., 1983, SMALLTALK 80 LANGUAG
[8]  
SIEKMANN J, 1989, AUTOMATED DEDUCTION
[9]  
SZCZEPANSKA D, 1982, IN PRESS P SUMMER SC
[10]  
1982, LOGLAN 8I PROGRAMMIN
1