Publisher
Springer International Publishing
Reference9 articles.
1. Mendelson, E.: Introduction to Mathematical Logic, 6th edn. Taylor & Francis Group, Milton Park, Oxfordshire (2015)
2. Chang, C.-L., Lee, R.C.-T.: Symbolic Logic and Mechanical Theorem Proving. Academic Press, New York (1973)
3. Vagin, V.N., et al.: Reliable and plausible inference in intelligent systems. In: Vagin, V.N., Pospelov, D.A. (eds.), 2nd edn, FIZMATLIT, Moscow (2008). (in Russian)
4. Kulik, B., Fridman, A.: N-ary Relations for Logical Analysis of Data and Knowledge. IGI Global (2017)
5. Kulik, B.A.: Logic and Mathematics: Complex Methods of Logical Analysis in Plain Words. Polytechnica, Saint Petersburg (2020). (in Russian)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献