from:
鄒曉輝,鄒順鵬. 協同智能計算系統——理論模型及其應用[J]. 軟件. 2011(06)
http://www.cnki.net/kcms/detail/12.1151.TP.20111004.1537.001.html
from:
鄒曉輝,鄒順鵬. 間接計算模型和間接形式化方法[J]. 軟件. 2011(05)
http://www.cnki.net/kcms/detail/12.1151.TP.20110907.1007.001.html
from:
鄒曉輝,鄒順鵬. 協同智能計算系統——理論模型及其應用[J]. 軟件. 2011(06)
http://www.cnki.net/kcms/detail/12.1151.TP.20111004.1537.001.html
from:
鄒曉輝,鄒順鵬. 間接計算模型和間接形式化方法[J]. 軟件. 2011(05)
http://www.cnki.net/kcms/detail/12.1151.TP.20110907.1007.001.html