「temporal logics」に関連した英語例文の一覧と使い方 - Weblio英語例文検索

a proof technique which combines techniques from Petri net theory and from temporal logics 例文帳に追加

ペトリ・ネット理論からの技術と時相論理からの技術とを組合わせた立証技術 - コンピューター用語辞典

Depending on whether we admit arbitrary nesting of selective path quantifiers and temporal operators, we obtain the two alternating-time temporal logics ATL and ATL*. 例文帳に追加

選択的経路量化記号と時相演算子の任意のネスティングを認めるかどうかに従って, 二つの時間交代性時相論理, ATLとATL*とが得られる. - コンピューター用語辞典