Trần Ngọc Anh. Một số thuật toán chứng minh tự động trong logic mệnh đề.
Stile di citazione ChicagoTrần Ngọc Anh. Một Số Thuật Toán Chứng Minh Tự động Trong Logic Mệnh đề.
Citazione MLATrần Ngọc Anh. Một Số Thuật Toán Chứng Minh Tự động Trong Logic Mệnh đề.
Attenzione: Queste citazioni potrebbero non essere precise al 100%.