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

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