定 價:¥25.00
01基于實例的推理研究與發(fā)展…
02自然數(shù)的緊化延伸機器證明…
03基于Petri網(wǎng)的計算樹邏輯…
04計算機應(yīng)用基礎(chǔ)項目實用教…
05基于范例的推理進(jìn)展
06編譯原理
07算法與計算:會議錄LNCS-…
08BIM參數(shù)化設(shè)計
09多源知識融合與應(yīng)用
10工業(yè)機器人集成應(yīng)用