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

computer theorem proving מתח
.טכנול	машинное доказательство теорем