Trần Ngọc Anh. Một số thuật toán chứng minh tự động trong logic mệnh đề.
Citação norma ChicagoTrần Ngọc Anh. Một Số Thuật Toán Chứng Minh Tự động Trong Logic Mệnh đề.
Citação norma MLATrần Ngọc Anh. Một Số Thuật Toán Chứng Minh Tự động Trong Logic Mệnh đề.
Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.