EulerSharp 2011-06-24
5秒でダウンロードできます。
次の外部ダウンロードリンクをクリックしてダウンロードを開始することもできます。
http://sourceforge.net/projects/eulersharp/files/eulersharp/Euler-2011-06-24/Euler-2011-06-24.zip/download
に関しては EulerSharp
オイラーは、ロジックベースの証明をサポートする推論エンジンです。これは、オイラーパス検出で強化された後方連鎖推論器です。Java、C#、Python、Javascript、プロローグに実装があります。N3を介してW3C Cwmと相互運用可能です。
関連プログラム
-
g15tools 無料
ロジクール g15 キーボード用のユーザースペース ツール。これらのツールは、LCDにカスタムコンテンツを表示したり、キーボードの余分なキーを処理するために使用することができます。
-
ARNUX 無料
ARNUXへようこそ : オープンソースの組み込み Linux プロジェクト.最初のトルコ語組み込み Linux ディストリビューション.組み込みとコンソール ベースの両方のオペレーティング システム。ARDIC(応用研究開発イノベーションセンター)http://www.ardictech.com主催
-
Squirrel Shell 無料
リスシェルは、マイクロソフトのWindowsでのLinuxとcmd.exeのbashのようなシステムシェルにクロスプラットフォームの代替手段です。これは、スクリプト言語"Squirrel"に基づいています。
-
wekula - A web interface to Bacula 無料
wekulaはバクラバックアップシステムへのウェブインターフェイスです。それを使用すると、Baculaの設定を変更することができます, 停止/起動Baculaデーモン, 単一のファイルの検索を行う&restore..それは、バクラクライアントとバクラデーモンに便利なPHPインターフェイスを提供します。
-
libfallocate 無料
ファイル・システムは、ファイルのサイズを知っていれば、断片化を避けることができます。このライブラリは fallocate() syscall のラッパーを提供します (glibc-2.10+ など) が、xfs/ocfs2 ioctl も知っており、posix_fallocate() よりも優れたフォールバックを提供します。
-
AAT Direct Connect Hub Project 無料
OpenDCHub を強化するために記述されたスクリプトとハブ の改造。Hub-Security スクリプトは、未登録のユーザーを国別にフィルタし、オペコマンドとセキュリティ機能を追加します。統計スクリプトと楽しいスクリプトも利用できます。今後の開発はODCH改造に移行する
-
yydecode -- decodes yEnc/uuencoded binar 無料
yydecode は yEnc でエンコードされたバイナリの非常にポータブルなデコーダですUsenet。それはuudecodeに優れた機能を提供し、ドロップインの交換として使用することができる。
-
ice Updater 無料
氷のアップデーター - 自動化され、集中MS Officeアップデートのための滴り落ち可能なソリューション。国際検索とダウンロードの修正プログラムとサービス パックが不足しています。ローカルまたはリモートマシン上のサイレントインストールパッチ - ユーザー入力が不要です。追跡ログ、Windows NT 以降
-
GACSoft Free Driver Updater 無料
GACSoft無料ドライバアップデータの説明:わずか数分でPCドライバを優れた更新する無料のドライバツール.今世紀は情報技術の時代です。高度な科学技術の発展に伴い、インターネットは世界中の人々の日常生活に浸透しています。ほとんど誰もがコンピュータを知っていて、理解しています。しかし、コンピュータにとって不可欠な部分はどれですか?もちろん、それはドライバーです。ドライバ、ソフトウェアの特別な部分は、Windowsが他のソフトウェアプログラム
-
V-Drive 無料
V-Driveは、あなたの窓のPC上に仮想ハードディスクを作成し、ISP、Uniなどによって提供されるあなたの個人的なウェブスペースからそのデータにアクセスし、任意のWindows PCからアクセスできるディスクドライブを持つことができる小さなアプリケーションです。