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

theorem prover
.בינה	Theorembeweiser
.טכנול	Theorembeweise; Beweisfindungsverfahren n

theorem prover : 12 צירופים, 3 נושאים

בינה מלאכותית	9
טכנולוגית מידע	2
כללי	1