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

computer theorem proving
.טכנול	mašininis teoremų įrodymas