SPASS V0.95TPTP

アイテム詳細

登録内容を編集ファイル形式で保存

一時保存へ追加

タグ情報を表示リリース履歴を表示詳細要約

公開

学術論文

/persons/resource/persons45719

Weidenbach, Christoph
Automation of Logic, MPI for Informatics, Max Planck Society;
Programming Logics, MPI for Informatics, Max Planck Society;

There are no locators available

There are currently no full texts shared for your IP range.

公開されているフルテキストはありません

There is no public supplementary material available

Weidenbach, C. (1999). SPASS V0.95TPTP. Journal of Automated Reasoning, 23(1), 21-21.

要旨はありません