Trần Ngọc Anh. Một số thuật toán chứng minh tự động trong logic mệnh đề.
Chicago Style aipamenaTrần Ngọc Anh. Một Số Thuật Toán Chứng Minh Tự động Trong Logic Mệnh đề.
MLA aipamenaTrần Ngọc Anh. Một Số Thuật Toán Chứng Minh Tự động Trong Logic Mệnh đề.
Kontuz: berrikusi erreferentzia hauek erabili aurretik.