רוסית ⇄ אנגלית

система автоматического доказательства теорем מתח
.בינה	ATP system (сокр. от "automated theorem proving system" Alex_Odeychuk); proof assistant (Alex_Odeychuk); automated theorem prover (Microsoft Alex_Odeychuk); automated theorem proving system (Alex_Odeychuk)
системой автоматического доказательства теорем
.בינה	theorem prover (Alex_Odeychuk)

система автоматического доказательства теорем: 4 צירופים, 1 נושאים

בינה מלאכותית

4