Trần Ngọc Anh. Một số thuật toán chứng minh tự động trong logic mệnh đề.
Chicago-стиль цитирования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 đề.
Предупреждение: эти цитированмия не могут быть всегда правильны на 100%.