SłownikiForumKontakt

   Angielski Rosyjski +
Google | Forvo | +

automated theorem prover

akcenty
oprogr. инструмент автоматического доказательства теорем (Alex_Odeychuk)
sztuczn. система автоматического доказательства теорем (Microsoft Alex_Odeychuk)