Thủy NT. Các kỹ thuật trợ giúp chứng minh bài toán hình học: cách tiếp cận trí tuệ nhân tạo. JCC [Internet]. 2016 Apr. 6 [cited 2024 Nov. 23];12(4):78-86. Available from: https://vjs.ac.vn/index.php/jcc/article/view/8094