Recursive functions of symbolic expressions and their computation by machine, Part I
Communications of the ACM
Integrated environment for intelligent control
IEA/AIE '88 Proceedings of the 1st international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 1
The beginning and development of FORMAC (FORmula MAnipulation Compiler)
HOPL-II The second ACM SIGPLAN conference on History of programming languages
Experiments With a Multipurpose, Theorem-Proving Heuristic Program
Journal of the ACM (JACM)
Experiments With Some Programs That Search Game Trees
Journal of the ACM (JACM)
Experiments with the M & N tree-searching program
Communications of the ACM
The structure of programming languages
Communications of the ACM
Survey of formula manipulation
Communications of the ACM
Experiments with a deductive question-answering program
Communications of the ACM
ACM '67 Proceedings of the 1967 22nd national conference
Automatic symbolic solution of differential equations of first order and first degree
SYMSAC '76 Proceedings of the third ACM symposium on Symbolic and algebraic computation
A computer system for algebra and analytic differentiation
SYMSAC '66 Proceedings of the first ACM symposium on Symbolic and algebraic manipulation
ACM SIGART Bulletin
The beginning and development of FORMAC: FORmula MAnipulation Compiler
History of programming languages---II
Encyclopedia of Computer Science
Experiments with a theorem-utilizing program
AFIPS '64 (Spring) Proceedings of the April 21-23, 1964, spring joint computer conference
Some issues of representation in a general problem solver
AFIPS '67 (Spring) Proceedings of the April 18-20, 1967, spring joint computer conference
Challenge to artificial intelligence: programming problems to be solved
IJCAI'71 Proceedings of the 2nd international joint conference on Artificial intelligence
Concepts and methods for heuristic search
IJCAI'69 Proceedings of the 1st international joint conference on Artificial intelligence
Finding resolution proofs and using duplicate goals in and/or trees
Information Sciences: an International Journal
Agent-oriented programming: from prolog to guarded definite clauses
Agent-oriented programming: from prolog to guarded definite clauses
Optimized code generation for finite element local assembly using symbolic manipulation
ACM Transactions on Mathematical Software (TOMS)
| Hi-index | 0.07 |