意味 | 例文 (1件) |
Warren abstract machineとは 意味・読み方・使い方
追加できません
(登録数上限)
「Warren abstract 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.発音を聞く 例文帳に追加
我々は,型制約論理プログラミングに対するプロログを実行するために,ウォレンの抽象機械の拡張に関する数学的仕様を提供し,その正確性を証明する. - コンピューター用語辞典
-
履歴機能過去に調べた
単語を確認! -
語彙力診断診断回数が
増える! -
マイ単語帳便利な
学習機能付き! -
マイ例文帳文章で
単語を理解!
ウィキペディア英語版での「Warren abstract machine」の意味 |
Warren Abstract Machine
出典:『Wikipedia』 (2011/06/14 23:06 UTC 版)
|
意味 | 例文 (1件) |
|
Warren abstract machineのページの著作権
英和・和英辞典
情報提供元は
参加元一覧
にて確認できます。
Copyright (C) 1994- Nichigai Associates, Inc., All rights reserved. | |
Text is available under Creative Commons Attribution-ShareAlike (CC-BY-SA) and/or GNU Free Documentation License (GFDL). Weblio英和・和英辞典に掲載されている「Wikipedia英語版」の記事は、WikipediaのWarren Abstract Machine (改訂履歴)の記事を複製、再配布したものにあたり、Creative Commons Attribution-ShareAlike (CC-BY-SA)もしくはGNU Free Documentation Licenseというライセンスの下で提供されています。 |
ピン留めアイコンをクリックすると単語とその意味を画面の右側に残しておくことができます。 |
ログイン |
Weblio会員(無料)になると 検索履歴を保存できる! 語彙力診断の実施回数増加! |
「Warren abstract machine」のお隣キーワード |
weblioのその他のサービス
ログイン |
Weblio会員(無料)になると 検索履歴を保存できる! 語彙力診断の実施回数増加! |