Việt
công cụ suy luận tự động hóa
Anh
automated reasoning tool
ART
automated reasoning tool /toán & tin/
ART, automated reasoning tool /toán & tin/