Trần Ngọc Anh. Một số thuật toán chứng minh tự động trong logic mệnh đề.
シカゴスタイル引用形Trần Ngọc Anh. Một Số Thuật Toán Chứng Minh Tự động Trong Logic Mệnh đề.
MLA引用形式Trần Ngọc Anh. Một Số Thuật Toán Chứng Minh Tự động Trong Logic Mệnh đề.
警告: この引用は必ずしも正確ではありません.