セーフサーチ：オフ
| 例文 |
prolog machineの部分一致の例文一覧と使い方
該当件数 : 1件
We provide a mathematical specification of an extension of Warren's Abstract Machine for executing Prolog to type-constraint logic programming and prove its correctness. 例文帳に追加
我々は,型制約論理プログラミングに対するプロログを実行するために,ウォレンの抽象機械の拡張に関する数学的仕様を提供し,その正確性を証明する． - コンピューター用語辞典
| 例文 |
 | Copyright (C) 1994- Nichigai Associates, Inc., All rights reserved. |
こんにちは ゲスト さん
ログイン |
Weblio会員(無料)になると
|
検索履歴を保存できる！
こんにちは ゲスト さん
|
ログイン |
Weblio会員(無料)になると
|
