基本解釋[計算機科學技術]語言証明系統(tǒng)語言隸屬証明系統(tǒng)[電子、通信與自動控制技術]語言成員証明系統(tǒng)專業(yè)釋義計算機科學技術語言証明系統(tǒng)語言隸屬証明系統(tǒng)電子、通信與自動控制技術語言成員証明系統(tǒng)