Nghĩa của từ theorem prover bằng Tiếng Việt

@Chuyên ngành kỹ thuật
@Lĩnh vực: toán & tin
-bộ chứng minh định lý

Đặt câu có từ "theorem prover"

Dưới đây là những mẫu câu có chứa từ "theorem prover", trong bộ từ điển Từ điển Anh - Việt. Chúng ta có thể tham khảo những mẫu câu này để đặt câu trong tình huống cần đặt câu với từ theorem prover, hoặc tham khảo ngữ cảnh sử dụng từ theorem prover trong bộ từ điển Từ điển Anh - Việt

1. Analytica is an automatic theorem prover for theorems in elementary analysis