APA ציטוט

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

Trích dẫn kiểu Chicago

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

ציטוט MLA

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