基本解釋[計(jì)算機(jī)科學(xué)技術(shù)]廣義歸結(jié)證明樹(shù)專(zhuān)業(yè)釋義計(jì)算機(jī)科學(xué)技術(shù)廣義歸結(jié)證明樹(shù)