01基于實(shí)例的推理研究與發(fā)展…
02自然數(shù)的緊化延伸機(jī)器證明…
03反光低紋理物體6D位姿估計(jì)…
04計(jì)算邏輯約束:理論與應(yīng)用…
05工業(yè)機(jī)器人集成應(yīng)用
06數(shù)據(jù)語(yǔ)義學(xué)期刊 VII LNCS…
07信息技術(shù)實(shí)用教程實(shí)訓(xùn)
08新媒體與互聯(lián)網(wǎng)研究(202…
09區(qū)塊鏈技術(shù)與信息系統(tǒng)
10視覺(jué)問(wèn)答:理論與實(shí)踐