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

   Російська ⇄ Англійська
Google | Forvo | +
до фраз
автоматический доказатель теоремнаголоси
ПЗ automatic prover (adacore.com Alex_Odeychuk)
шт.інтел. automatic theorem prover (Microsoft Alex_Odeychuk); prover (корпорации AdaCore Alex_Odeychuk)
автоматический доказатель теорем: 4 фрази в 1 тематиці
Штучний інтелект4

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