検索結果- 英語 - 英語
検索内容:
computational linguistics
computation histories
computation history
関連語
computational intelligence
computational models
computational model
関連語
computational geometry
computation tree logic
名詞
不可算名詞
日本語の意味
計算木論理:分岐時間を扱う特殊な様相論理であり、『次』、『全体』、『最終(または最終的に)』、『until』、『weak until』などのオペレーターを用いて、システムの状態遷移などを形式的に表現する論理体系
loading!
Loading...