セーフサーチ：オフ
| 例文 |
Satisfiability Modulo Theoriesの部分一致の例文一覧と使い方
該当件数 : 1件
The model inspection device further includes an inspection performing unit that performs the inspection by satisfiability modulo theories based on the logical formula generated by the logical formula generating unit.例文帳に追加
また、論理式生成部によって生成された論理式に基づいて充足性モジュロ理論による検査を実行する検査実行部を備えるようにモデル検査装置を構成する。 - 特許庁
| 例文 |
| Copyright © Japan Patent office. All Rights Reserved. |
こんにちは ゲスト さん
ログイン |
Weblio会員(無料)になると
|
検索履歴を保存できる！
こんにちは ゲスト さん
|
ログイン |
Weblio会員(無料)になると
|
