Вхід | Ukrainian | Угода користувача
СловникиФорумКонтакти

   Англійська ⇄ +
Google | Forvo | +
до фраз

automatic theorem prover

наголоси
Макаров программа для автоматизированного доказательства теорем
шт.інтел. автоматический доказатель теорем (Microsoft Alex_Odeychuk)
IT программа автоматического доказательства теорем
automatic theorem prover
: 3 фрази в 1 тематиці
Штучний інтелект3

Додати | Повідомити про помилку | Коротке посилання