Англійська ⇄ Іспанська Італійська Грецька Данська Китайська Нідерландська Німецька Португальська Російська Французька Фінська Шведська Японська +

theorem prover наголоси
ел.	программа для доказательства теорем (с использованием аксиоматической базы данных)
мат., ПЗ	утилита автоматического доказательства теорем (Alex_Odeychuk)
прогр.	инструмент автоматического доказательства теорем (Alex_Odeychuk)
шт.інтел.	доказатель теорем (Microsoft Alex_Odeychuk); система доказательства теорем (Microsoft Alex_Odeychuk); доказыватель теорем (Alex_Odeychuk); системой автоматического доказательства теорем (Alex_Odeychuk)
IT	инструмент доказательства теорем (wikipedia.org Alex_Odeychuk)

theorem prover : 13 фраз в 5 тематиках

Інформаційні технології	1
Макаров	1
Програмне забезпечення	1
Програмування	1
Штучний інтелект	9