For example, in symbolic logic and mathematical logic, proofs by humans can be computer-assisted.
Ví dụ, trong logic biểu tượng và logic toán học, các chứng minh bởi con người có thể được hỗ trợ bởi máy tính.