基本解釋[計(jì)算機(jī)科學(xué)技術(shù)]時(shí)態(tài)邏輯語(yǔ)言專業(yè)釋義計(jì)算機(jī)科學(xué)技術(shù)時(shí)態(tài)邏輯語(yǔ)言