Thủy NT. Thiết kế các ngôn ngữ mô tả và xây dựng cơ sở tri thức cho các phần mềm trợ giúp giải bài toán hình học. J. Comput. Sci. Cybern. [Internet]. 2016 Apr. 6 [cited 2025 Apr. 9];12(2):30-4. Available from: https://vjs.ac.vn/index.php/jcc/article/view/8075