Author:
Mineshima Koji,Okada Mitsuhiro,Takemura Ryo
Publisher
Springer Berlin Heidelberg
Reference21 articles.
1. Braine, M.D.S., O’Brien, D.P.: Mental logic. Lawrence Erlbaum, Mahwah (1998)
2. Buss, S.R.: An Introduction to Proof Theory. In: Buss, S.R. (ed.) Handbook Proof Theory. Elsevier, Amsterdam (1998)
3. Buss, S.R.: Propositional Proof Complexity: An Introduction. In: Berger, U., Schwichtenberg, H. (eds.) Computational Logic, pp. 127–178. Springer, Berlin (1999)
4. Chang, C.-L., Lee, R.C.-T.: Symbolic Logic and Mechanical Theorem Proving. Academic Press, New York (1973)
5. Lecture Notes in Artificial Intelligence;J. Flower,2004
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献