Gem citationer

Citação APA (7ª ed.)

Cao, F., Xu, Y., Chen, S., Zhong, J., & Wu, G. (2019). A Contradiction Separation Dynamic Deduction Algorithm Based on Optimized Proof Search. Springer.

Citação do estilo Chicago (17ª ed.)

Cao, Feng, Yang Xu, Shuwei Chen, Jian Zhong, e Guanfeng Wu. A Contradiction Separation Dynamic Deduction Algorithm Based on Optimized Proof Search. Springer, 2019.

Citação MLA (9ª ed.)

Cao, Feng, et al. A Contradiction Separation Dynamic Deduction Algorithm Based on Optimized Proof Search. Springer, 2019.

Advarsel: Disse citationer er muligvist ikke 100% nøjagtige.