AN ABSTRACT MACHINE FOR SYMBOLIC COMPUTATION

被引：1

|

作者：

OVERHEU, DL

机构：

来源：

JOURNAL OF THE ACM | 1966年 / 13卷 / 03期

关键词：

D O I：

10.1145/321341.321354

中图分类号：

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

学科分类号：

0812 ;

摘要：

引用

收藏

页码：444 / &

相关论文

共 50 条

[1] ABSTRACT SPECIFICATION OF STRUCTURES AND METHODS IN SYMBOLIC MATHEMATICAL COMPUTATION
LIMONGELLI, C
TEMPERINI, M
[J]. THEORETICAL COMPUTER SCIENCE, 1992, 104 (01) : 89 - 107
[2] Machine cognition and learning based on interactive symbolic computation
Chen, Guangxi
Zeng, Zhenbing
Bi, Zhongqin
[J]. 2007 INTERNATIONAL CONFERENCE ON INTELLIGENT PERVASIVE COMPUTING, PROCEEDINGS, 2007, : 456 - +
[3] Cryptoleq: A Heterogeneous Abstract Machine for Encrypted and Unencrypted Computation
Mazonka, Oleg
Tsoutsos, Nektarios Georgios
Maniatakos, Michail
[J]. IEEE TRANSACTIONS ON INFORMATION FORENSICS AND SECURITY, 2016, 11 (09) : 2123 - 2138
[4] Pseudo-division machine (I): A model of symbolic computation
She, ZK
Xia, BC
Zheng, ZM
[J]. MATHEMATICAL SOFTWARE, PROCEEDINGS, 2002, : 115 - 125
[5] RECURSIVE FUNCTIONS OF SYMBOLIC EXPRESSIONS AND THEIR COMPUTATION BY MACHINE, .1.
MCCARTHY, J
[J]. COMMUNICATIONS OF THE ACM, 1960, 3 (04) : 184 - 195
[6] THE L-MACHINE - AN ATTEMPT AT PARALLEL HARDWARE FOR SYMBOLIC COMPUTATION
BUCHBERGER, B
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1986, 229 : 333 - 347
[7] SYMBOLIC COMPUTATION
不详
[J]. JOURNAL OF SYMBOLIC COMPUTATION, 1985, 1 (01) : 1 - 6
[8] Automated programming, symbolic computation, machine learning: my personal view
Buchberger, Bruno
[J]. ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 2023, 91 (5) : 569 - 589
[9] Automated programming, symbolic computation, machine learning: my personal view
Bruno Buchberger
[J]. Annals of Mathematics and Artificial Intelligence, 2023, 91 : 569 - 589
[10] Lessons on Datasets and Paradigms in Machine Learning for Symbolic Computation: A Case Study on CAD
del Rio, Tereso
England, Matthew
[J]. MATHEMATICS IN COMPUTER SCIENCE, 2024, 18 (03)

← 1 2 3 4 5 →