APA-referens

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

Chicago-stil citat

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

MLA-referens

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

Varning: dessa hänvisningar är inte alltid fullständigt riktiga.