Author:
Snyder Wayne,Schmolze James G.
Publisher
Springer Berlin Heidelberg
Reference27 articles.
1. R. Plant (Ed). Validation and Verification of Knowledge-Based Systems. Proceedings of AAAI-94 workshop, Seattle, Washington (1994).
2. A. Aiken, J. Widom, and J. Hellerstein. Behavior of Database Production Rules: Termination, Confluence, and Observable Determinism. In Proceedings of ACM SIGMOD, pp. 59–68, 1992.
3. L. Bachmair. Canonical Equational Proofs. Birkhäuser Boston, Inc., Boston, MA (1991).
4. B. Buchanan and E. Shortliffe. Rule-Based Expert Systems.Addison-Wesley, Reading, MA (1984).
5. H. Comon and P. Lescanne. Equational Problems and Disunification. Journal of Symbolic Computation, 7 (1989) 371–425.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献