基本解釋[計(jì)算機(jī)科學(xué)技術(shù)]分支時(shí)間瞬時(shí)邏輯分支時(shí)間時(shí)序邏輯專業(yè)釋義計(jì)算機(jī)科學(xué)技術(shù)分支時(shí)間瞬時(shí)邏輯分支時(shí)間時(shí)序邏輯