Xu, Y., Liu, P., Chen, S., & Liu, J. (2025). An Automated Theorem Generator with Theoretical Foundation Based on Rectangular Standard Contradiction.
Chicago-Zitierstil (17. Ausg.)Xu, Yang, Peiyao Liu, Shuwei Chen, und Jun Liu. An Automated Theorem Generator with Theoretical Foundation Based on Rectangular Standard Contradiction. 2025.
MLA-Zitierstil (9. Ausg.)Xu, Yang, et al. An Automated Theorem Generator with Theoretical Foundation Based on Rectangular Standard Contradiction. 2025.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.