Metadata
Author: WikiMatrix
Data
English[en]
The field of automated reasoning studies how reasoning may or may not be modeled computationally.
Vietnamese[vi]
Lĩnh vực Lý trí tự động (automated reasoning) nghiên cứu làm như thế nào lý luận có thể và không thể tạo ra một môi trường giả định một cách máy móc.