词典 / 通用词汇
theorem proving
暂无补充释义。
Kuhn-Tucker theorem【数】
intermediate value theorem
Caratheodory theorem【热】
Clairaut theorem【测】
second Shannon coding theorem【通信】
divergence theorem【数】
Hahn-Banach extension theorem【数】
Gauss theorem
补充或纠正词条 →