| 意味 | 例文 (2件) |
temporal logicsとは 意味・読み方・使い方
追加できません
(登録数上限)
単語を追加
「temporal logics」の部分一致の例文検索結果
該当件数 : 2件
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*とが得られる. - コンピューター用語辞典
-
履歴機能
過去に調べた
単語を確認! -
語彙力診断
診断回数が
増える! -
マイ単語帳
便利な
学習機能付き! -
マイ例文帳
文章で
単語を理解! -
|
| 意味 | 例文 (2件) |
temporal logicsのページの著作権
|
Text is available under Creative Commons Attribution-ShareAlike (CC-BY-SA) and/or GNU Free Documentation License (GFDL). Weblio英和・和英辞典に掲載されている「Wiktionary英語版」の記事は、Wiktionaryのtemporal logics (改訂履歴)の記事を複製、再配布したものにあたり、Creative Commons Attribution-ShareAlike (CC-BY-SA)もしくはGNU Free Documentation Licenseというライセンスの下で提供されています。 |
ピン留めアイコンをクリックすると単語とその意味を画面の右側に残しておくことができます。 |
ログイン |
Weblio会員(無料)になると
|
検索履歴を保存できる！
みんなの検索ランキング
-
1daikin
-
2query
-
3occupation
-
4eight
-
5fast
-
6feature
-
7description
-
8亜鉛
-
9august
-
10whole
閲覧履歴
 | 「temporal logics」のお隣キーワード |
weblioのその他のサービス
|
ログイン |
Weblio会員(無料)になると
|
