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

theorem proving
ИИ.	Theorembeweisen
ИТ.	Theorembeweis; Theorembeweiser; Beweissuchverfahren n; Beweisverfahren n

theorem-proving : 18 фраз в 5 тематиках

Информационные технологии	4
Искусственный интеллект	11
Общая лексика	1
Оптика раздел физики	1
Техника	1