词典论坛联络

   英语 日语 +
Google | Forvo | +

automatic theorem proving program

一般 自動定理証明 Engineering and Science Technical Dictionary (James Friend)