词典 / 科技

定理证明器

theorem prover【计】

暂无补充释义。

相关词条

补充或纠正词条 →