Author:
Lu James J.,Murray Neil V.,Radjavi Heydar,Rosenthal Erik,Rosenthal Peter
Publisher
Springer Berlin Heidelberg
Reference32 articles.
1. Bachmair, L. and Ganzinger, H., Rewrite-based equational theorem proving with selection and simplification. Journal of Logic and Computation, 4(3):217–247, 1994.
2. Blair, H.A. and Subrahmanian, V.S., Paraconsistent logic programming, Theoretical Computer Science 68, 135–154, 1989.
3. Calmet, J., Jekutsch, S., Kullmann, P., and Schü, J., A system for the integration of heterogeneous information sources, Proc. ISMIS, 1997.
4. Calmet, J. and Kullmann, P., Meta web search with KOMET, Proceedings of the IJCAI-99 Workshop on Intelligent Information Integration, Stockholm, July, 1999.
5. Carnielli, W.A., Systematization of finite many-valued logics through the method of tableaux. J. of Symbolic Logic 52(2):473–493, 1987.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献