Citazione APA

Trần Ngọc Anh. Một số thuật toán chứng minh tự động trong logic mệnh đề.

Stile di citazione Chicago

Trần Ngọc Anh. Một Số Thuật Toán Chứng Minh Tự động Trong Logic Mệnh đề.

Citazione MLA

Trầ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%.