אנגלית ⇄ יפנית +

automatic theorem proving program
כלל.	自動定理証明 Engineering and Science Technical Dictionary (James Friend)