Automated theorem proving: mapping logic into AI
ISMIS '86 Proceedings of the ACM SIGART international symposium on Methodologies for intelligent systems
Automated proof of ring commutativity problems by algebraic methods
Journal of Symbolic Computation
Deductive and inductive synthesis of equational programs
Journal of Symbolic Computation - Special issue on automatic programming
Z-module reasoning: an equality-oriented proving method with built-in ring axioms
Journal of the ACM (JACM)
On solving equations and disequations
Journal of the ACM (JACM)
Experiments with subdivision of search in distributed theorem proving
PASCO '97 Proceedings of the second international symposium on Parallel symbolic computation
Equational reasoning using AC constraints
IJCAI'97 Proceedings of the 15th international joint conference on Artifical intelligence - Volume 1
Complete inference rules for the cancellation laws
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 2
Inductive synthesis of equational programs
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
Hi-index | 0.00 |