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

theorem proving
шт.інтел.	Theorembeweisen
IT	Theorembeweis; Theorembeweiser; Beweissuchverfahren n; Beweisverfahren n

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

Загальна лексика	1
Інформаційні технології	4
Оптика розділ фізики	1
Техніка	1
Штучний інтелект	11