Cita APA

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

Chicago Style Citation

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

Cita MLA

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