אנגלית ⇄ איטלקית גרמנית דנית הולנדית יוונית סינית ספרדית פורטוגלית פינית צרפתית רוסית שוודית +

theorem proving
.בינה	Theorembeweisen
.טכנול	Theorembeweis; Theorembeweiser; Beweissuchverfahren n; Beweisverfahren n

theorem-proving : 18 צירופים, 5 נושאים

אופטיקה ענף פיזיקה	1
בינה מלאכותית	11
טֶכנוֹלוֹגִיָה	1
טכנולוגית מידע	4
כללי	1