LOGEX
5秒でダウンロードできます。
次の外部ダウンロードリンクをクリックしてダウンロードを開始することもできます。
http://logex.cvs.sourceforge.net/logex
に関しては LOGEX
すべての論理式は、インフィックス表記規則に従って構築され、値テーブルが表示されます。
関連プログラム
-
the-skat-ai-project 無料
Skat-ai-プロジェクトは、ユーザーが自分のスカプレーヤー(AIまたはGUI)をさらに開発できるようにするプラットフォームを開発します。スケートは非常に興味深いドイツのカードゲームです。このプロジェクトの目的は、フレームワークと同様に、明確に定義されたインターフェイスを開発することです。
-
toogles 無料
グーグルのためのツール。このプロジェクトは、Google デスクトップ サーチの使用を支援するために作成されたツールから始まります。これは、Microsoft Word文書をHTMLに変換するハック'doc2html'です。これらのファイルは、Google デスクトップ サーチでインデックスを作成して検索できます。
-
Shadowrun 4th Edition Hacker Aid 無料
マトリックスとリガーのアクションを処理するExcelスプレッドシート(もともとコリンク用のスティーブ・ロビンスによって作成されました)。ハンドル、スキル、ドローン、コミュリンク、アクション、属性(GENERATORではありません)。
-
C++ Signal/Slot Library (sigslot) 無料
ISO C++、Unix/BSD/Linux、Win32用のポータブル C++ タイプ セーフなスレッド セーフシグナル/スロット ライブラリ。Sigslotを使用すると、C++ コードは、たとえば Qt によって普及したシグナル/スロットパラダイムを使用できます。
-
XCygGCCLinux 無料
XCygGCCLinux は、最新のリビジョン fo Cygwin で実行されるインテル X スケール プロセッサを対象とした GCC クロス コンパイラの特定のコンパイルです。 さらに、このプロジェクトは、標準の Linux カーネルを X に埋め込むユーザーのためのホームフォーラムを提供します。
-
Object Model Generator 無料
オブジェクト モデル ジェネレーターは、任意の .NET 言語 (CLS を実装する言語など) で、Xml スキーマ ドキュメント (XSD) から軽量型付けされたオブジェクト モデルを生成するために使用VB.NETツールです。
-
PeDALS Email Extractor 無料
永続的なデジタルアーカイブとライブラリシステム(PeDALS)研究プロジェクトによって作成されたデジタル保存のためのXMLファイル抽出器への電子メールメッセージ
-
fieldEB 無料
fieldEBは静電および磁気静電シミュレーターです。fieldEBを使用すると、2Dスペースに料金または電流を置くことができます。静電界と磁性静電を描くことができます。
-
XMLRPC-DB 無料
ウィット XMLRPC-DB は、すべての jdbc 対応データベースに任意の RPC-XML 準拠言語を接続できます。*simple* クライアント・クラス・フレームワークは、SQL データベース・サーバー trought JDBC に接続された java XML-RPC サーバーへの呼び出しをカプセル化します。
-
Oracle Monitor 無料
でのようなOracleサーバーを監視したいが、それほど複雑ではない場合は、このプログラムを使用することができます。サーバーの CPU 使用率、トップ SQL、オブジェクト サイズなどを監視できます。