Subject
Artificial Intelligence,Theoretical Computer Science,Software
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Multi-Valued Logics;Quantified Representation of Uncertainty and Imprecision;1998
2. Fast termination of the deductive process in resolution proof systems for non-classical logics;Lecture Notes in Computer Science;1994
3. An essay on resolution logics;Studia Logica;1993
4. Note on resolution circuits;Lecture Notes in Computer Science;1991