Publisher
Springer International Publishing
Reference25 articles.
1. Gen2sat website. http://www.cs.tau.ac.il/research/yoni.zohar/gen2sat
2. Areces, C.E.: Logic engineering: the case of description and hybrid logics. Institute for Logic, Language and Computation (2000)
3. Avron, A.: Gentzen-type systems, resolution, tableaux. J. Autom. Reasoning 10(2), 265–281 (1993)
4. Avron, A., Konikowska, B., Zamansky, A.: Efficient reasoning with inconsistent information using C-systems. Inf. Sci. 296, 219–236 (2015)
5. Lecture Notes in Computer Science;M Baaz,1996
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献