Publisher
Springer Berlin Heidelberg
Reference35 articles.
1. K.H. Bläsius, H.-J. Bürckert (eds.). Deduction Systems in Artificial Intelligence. Horwood, Chichester, 1989
2. R.J. Brachman, J.G. Schmolze. An Overview of the KL-ONE Knowledge Representation System. Cognitive Science 9(2), 171–216, 1985.
3. W. Buntine, H.-J. Bürckert. On Solving Equations and Disequations. SEKI-Report SR-89-03, Universität Kaiserslautern, 1989
4. H.-J. Bürckert. Lazy Theory Unification in Prolog: An Extension of the Warren Abstract Machine. Proc. of German Workshop on Artificial Intelligence, Springer Informatik-Fachberichte 124, 277–288, 1986
5. H.-J. Bürckert. Solving Disequations in Equational Theories. Proc. of Conf. on Automated Deduction, Springer LNCS 310, 517–526, 1988
Cited by
18 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献