セーフサーチ：オン
| 意味 | 例文 (1件) |
Skolem functionの部分一致の例文一覧と使い方
該当件数 : 1件
..., the quantified variable must be replaced with a Skolem function of the universally quantified variables. 例文帳に追加
...、その量化変数は普遍的に量化された変数のスコーレム関数で置き換えられなければならない。 - コンピューター用語辞典
| 意味 | 例文 (1件) |
| Copyright (C) 1994- Nichigai Associates, Inc., All rights reserved. |
こんにちは ゲスト さん
|
ログイン |
Weblio会員(無料)になると
|
こんにちは ゲスト さん
|
ログイン |
Weblio会員(無料)になると
|