英語フランス語スペイン語

OnWorksファビコン

dfg2tptp - クラウドでオンライン

Ubuntu Online、Fedora Online、Windows オンライン エミュレーター、または MAC OS オンライン エミュレーターを介して、OnWorks の無料ホスティング プロバイダーで dfg2tptp を実行します。

これは、Ubuntu Online、Fedora Online、Windows オンライン エミュレーター、MAC OS オンライン エミュレーターなど、複数の無料オンライン ワークステーションのいずれかを使用して、OnWorks 無料ホスティング プロバイダーで実行できるコマンド dfg2tptp です。

プログラム:

NAME


dfg2tptp - DFG ファイルを TPTP ファイルに変換します

SYNOPSIS


dfg2tptp

DESCRIPTION


dfg2tptp 問題入力ファイルを DFG 問題にフォーマットする
入力ファイル TPTP フォーマット。 の TPTP 問題形式はテストの TPTP ライブラリで使用されます
自動化された定理証明の問題。 http://www.math.miami.edu/~tptp/.
問題を変換するためのさまざまなツールが存在します。 TPTP 他の定理の入力ファイルにフォーマットする
証明者。

onworks.net サービスを使用してオンラインで dfg2tptp を使用する


無料のサーバーとワークステーション

Windows と Linux のアプリをダウンロード

Linuxコマンド

Ad