Trần Ngọc Anh. Một số thuật toán chứng minh tự động trong logic mệnh đề.
Citación estilo ChicagoTrần Ngọc Anh. Một Số Thuật Toán Chứng Minh Tự động Trong Logic Mệnh đề.
Cita MLATrần Ngọc Anh. Một Số Thuật Toán Chứng Minh Tự động Trong Logic Mệnh đề.
Cảnh báo: Các trích dẫn này có thể không phải lúc nào cũng chính xác 100%.