Publisher
Springer Science and Business Media LLC
Subject
Linguistics and Language,Philosophy,Computer Science (miscellaneous)
Reference32 articles.
1. BethEvert W., 1955, ?Semantic entailment and formal derivability,? Mededelingen der Koninklijke Nederlandse Akademie van Wetenschappen 18, 309?342.
2. BethEvert W., 1958, ?On machines which prove theorems,? Simon Stevin Wissen Naturkundig Tijdschrift 32, 49?60.
3. BibelW., 1982. Automated Theorem Proving, Braunschweig: Vieweg.
4. CarnielliW.A., 1987, ?Systematization of finite many-valued logics through the method of tableaux,? The Journal of Symbolic Logic 52, 473?493.
5. ChangC.L., 1970, ?The unit proof and the input proof in theorem proving,? Journal of the Association for Computing Machinery 17, 698?707.
Cited by
56 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献