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 ChicagoTrần Ngọc Anh. Một Số Thuật Toán Chứng Minh Tự động Trong Logic Mệnh đề.
MLA CitationTrần Ngọc Anh. Một Số Thuật Toán Chứng Minh Tự động Trong Logic Mệnh đề.
Advarsel: Disse citationer er muligvist ikke 100% nøjagtige.