日本語
English
Deutsch
日本語
Help
Privacy Policy
ポリシー/免責事項
全文を含む
詳細検索
ブラウズ
ホーム
一時保存 (0)
ツール
アイテム詳細
登録内容を編集
ファイル形式で保存
一時保存へ追加
このアイテムの新しいバージョンが利用可能です:
https://pure.mpg.de/pubman/item/item_1331210_2
詳細
要約
SPASS V0.95TPTP
Weidenbach, C.
(1999).
SPASS V0.95TPTP.
Journal of Automated Reasoning,
23
(1), 21-21.
Item is
公開
表示: 全項目
非表示: 全項目
基本情報
表示:
非表示:
アイテムのパーマリンク
:
https://hdl.handle.net/11858/00-001M-0000-000F-3696-3
版のパーマリンク
:
https://hdl.handle.net/11858/00-001M-0000-000F-3697-1
資料種別
:
学術論文
ファイル
表示: ファイル
関連URL
表示:
作成者
表示:
非表示:
作成者
:
Weidenbach, Christoph
1, 2
, 著者
所属
:
1
Automation of Logic, MPI for Informatics, Max Planck Society, ou_1116545
2
Programming Logics, MPI for Informatics, Max Planck Society, ou_40045
内容説明
表示:
資料詳細
表示:
非表示:
言語
:
eng - English
日付
:
修正:
2010-03-12
出版:
1999
出版の状態
:
出版
ページ
:
-
出版情報
:
-
目次
:
-
査読
:
査読あり
識別子(DOI, ISBNなど)
:
eDoc: 519887
その他: Local-ID: C1256104005ECAFC-A11BFA2CA97ADE7EC125686F004BD6B0-Weidenbach1999jar
学位
:
-
関連イベント
表示:
訴訟
表示:
Project information
表示:
出版物 1
表示:
非表示:
出版物名
:
Journal of Automated Reasoning
種別
:
学術雑誌
著者・編者
:
所属
:
出版社, 出版地
:
-
ページ
:
-
巻号
:
23 (1)
通巻号
:
-
開始・終了ページ
:
21 - 21
識別子(ISBN, ISSN, DOIなど)
:
ISSN: 0168-7433