例文 (1件) |
Proposition Pの部分一致の例文一覧と使い方
該当件数 : 1件
The whole property is inspected in a customized method composed of repeated call of the property inspection schema related to each of the operators F(p), G(p), U(p, q), and X(p), and a standard process to an atomic proposition and Boolean operator.例文帳に追加
特性全体は、F(p)、G(p)、U(p, q)、X(p)の各演算子に関する特性検査スキーマの反復呼び出しと、原子命題およびブール演算子の標準的な処理で構成されるカスタマイズされた方法で検査される。 - 特許庁
例文 (1件) |
Copyright © Japan Patent office. All Rights Reserved. |
ログイン |
Weblio会員(無料)になると
|
ログイン |
Weblio会員(無料)になると
|