日本語
 
Help Privacy Policy ポリシー/免責事項
  詳細検索ブラウズ

アイテム詳細

  Superposition Modulo Theory

Kruglov, E. (2013). Superposition Modulo Theory. PhD Thesis, Universität des Saarlandes, Saarbrücken.

Item is

基本情報

表示: 非表示:
資料種別: 学位論文

ファイル

表示: ファイル
非表示: ファイル
:
Kruglov.PhD.2013.pdf (全文テキスト(全般)), 3MB
 
ファイルのパーマリンク:
-
ファイル名:
Kruglov.PhD.2013.pdf
説明:
-
OA-Status:
閲覧制限:
制限付き (Max Planck Institute for Informatics, MSIN; )
MIMEタイプ / チェックサム:
application/pdf
技術的なメタデータ:
著作権日付:
-
著作権情報:
-
CCライセンス:
-

関連URL

表示:
非表示:
URL:
http://scidok.sulb.uni-saarland.de/volltexte/2013/5559/ (全文テキスト(全般))
説明:
-
OA-Status:
Green
説明:
-
OA-Status:
Not specified

作成者

表示:
非表示:
 作成者:
Kruglov, Evgeny1, 2, 著者           
Althaus, Ernst3, 学位論文主査           
Weidenbach, Christoph1, 監修者                 
所属:
1Automation of Logic, MPI for Informatics, Max Planck Society, ou_1116545              
2International Max Planck Research School, MPI for Informatics, Max Planck Society, Campus E1 4, 66123 Saarbrücken, DE, ou_1116551              
3Algorithms and Complexity, MPI for Informatics, Max Planck Society, ou_24019              

内容説明

表示:

資料詳細

表示:
非表示:
言語: eng - English
 日付: 2013-10-3120132013
 出版の状態: 出版
 ページ: X, 229 p.
 出版情報: Saarbrücken : Universität des Saarlandes
 目次: -
 査読: -
 識別子(DOI, ISBNなど): BibTex参照ID: KruglovDiss13
その他: Local-ID: F58B326B7199622DC1257C66003BEFFF-KruglovDiss13
URN: urn:nbn:de:bsz:291-scidok-55597
DOI: 10.22028/D291-26547
その他: hdl:20.500.11880/26603
 学位: 博士号 (PhD)

関連イベント

表示:

訴訟

表示:

Project information

表示:

出版物

表示: