Author:
Fiala Nick C.,Agre Keith M.
Publisher
Springer Science and Business Media LLC
Subject
Artificial Intelligence,Computational Theory and Mathematics,Software
Reference14 articles.
1. GAP Group (2005) GAP – Groups, Algorithms, and Programming, Version 4.4. http://www.gap-system.org
2. Hart, J., Kunun, K.: Single axioms for odd exponent groups. J. Autom. Reason. 14, 383–412 (1995)
3. Kalman, J.A.: Automated Reasoning with OTTER. Rinton, Princeton, New Jersey (2001)
4. Kunen, K.: The shortest single axioms for groups of exponent 4. Comput. Math. Appl. 29, 1–12 (1995)
5. Kunen, K.: The semantics of answer literals. J. Autom. Reason. 17, 83–95 (1996)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Formalization and Verification of Cyclic Group;2021 16th International Conference on Intelligent Systems and Knowledge Engineering (ISKE);2021-11-26