Англійська ⇄ Російська +

proof assistant наголоси
шт.інтел.	доказыватель теорем (mistral.ai Alex_Odeychuk); система автоматического доказательства теорем (theatlantic.com Alex_Odeychuk)

proof assistant : 2 фрази в 1 тематиці

Штучний інтелект

2