机器证明
基本解释
简解
机器证明的词语属性
拼音jī qì zhèng míng
拼音字母ji qi zheng ming
拼音首字母jqzm
机器证明的百科含义
机器证明及其应用是中国攀登计划项目之一。该项目的核心内容主要是几何定理机器证明和非线性代数方程组理论、算法和应用。
猜你喜欢
- xià tiān夏天
- xinjiapoyinxing新加坡银行
- wangchengfu汪成富
- gongdu公牍
- zhongnanbao中南报
- baoyasan保牙散
- gaoxiaoming高晓明
- minghegexing明河歌行
- laochixiang老池乡
- lichunxian李春贤
- sanwulougen三无漏根
- huzhijin胡志金
- jiē xiàn接线
- buxiangji不香集
- kanhemaoyi勘合贸易
- shifeiyun施飞云
- apuxilin阿扑西林
- jiyingjiyou即影即有
- dingming丁明
- wankejinselicheng万科金色里程
- farendaibiao法人代表
- lujifanjiang路基翻浆
- kongyixianse空一显色
- xiaoqiuping肖秋平
- qianjituan千机团
- jifangzhuanyongkongdiao机房专用空调
- pizhoushidishuiju邳州市地税局
- ruǎn miàn jīn软面筋
- zhengqichui蒸汽锤
- haolaiwuyujiu好莱坞与酒