URBIプロジェクト
URBI：ユニバーサルロボットボディインターフェイス。 URBIは、ロボットを制御するために使用されるスクリプト付きコマンド言語です（AIBO、PIONEER、...）。 ...
 | フリッパーFlipperは、3つの変数Prenex文の充実性のためのランダム化されたローカル検索を行うプログラムです。 |
| 今すぐダウンロード | |
フリッパー ランキングとまとめ
広告
フリッパー タグ
フリッパー 説明
Flipperは、3つの変数Prenex文の充実性を最大限に検索するためのランダム化されたローカル検索を行うプログラムです。 Flipperは、純粋な述語計算における3つの可変事前文章の満足度のためのランダム化されたローカル検索を行うプログラムです。 与えられた決定的な理論と比較して満足度を証明することによってそうします。
フリッパー 関連ソフトウェア
