COMPUTER ALGEBRA AND LOGIC PROGRAMMING

被引：0

作者：

CHAR, B

机构：

来源：

关键词：

D O I：

10.1016/0167-9260(86)90005-2

中图分类号：

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

学科分类号：

0812 ;

摘要：

引用

页码：271 / 274

页数：4

共 50 条

[41] Equations in the algebra of logic
Rudeanu, S
[J]. ISMVL 2002: 32ND IEEE INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC, PROCEEDINGS, 2002, : 2 - 8
[42] A PERSPECTIVE ON THE ALGEBRA OF LOGIC
Raftery, J. G.
[J]. QUAESTIONES MATHEMATICAE, 2011, 34 (03) : 275 - 325
[43] Algebra and Logic in Granularity
Stell, John G.
[J]. RELATIONAL AND ALGEBRAIC METHODS IN COMPUTER SCIENCE, RAMICS 2023, 2023, 13896 : XIII - XIV
[44] THE ALGEBRA OF CONDITIONAL LOGIC
GUZMAN, F
SQUIER, CG
[J]. ALGEBRA UNIVERSALIS, 1990, 27 (01) : 88 - 110
[45] COMPUTER ALGEBRA
RUDD, HJ
[J]. CHEMISTRY IN BRITAIN, 1987, 23 (11) : 1055 - 1056
[46] COMPUTER ALGEBRA
STOUTEMYER, DR
[J]. NATURE, 1981, 291 (5811) : 104 - 104
[47] ON THE UNITY OF ALGEBRA AND LOGIC
LAMBEK, J
[J]. LECTURE NOTES IN MATHEMATICS, 1988, 1348 : 221 - 229
[48] UNIVERSAL LOGIC ALGEBRA
TISON, PL
[J]. SIAM REVIEW, 1971, 13 (02) : 284 - &
[49] Homological Algebra Programming
Ellis, Graham
[J]. COMPUTATIONAL GROUP THEORY AND THE THEORY OF GROUPS, 2008, 470 : 63 - 74
[50] Trees in algebra and programming
Kirchner, H
[J]. THEORETICAL COMPUTER SCIENCE, 1998, 190 (01) : 1 - 2