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

アイテム詳細

登録内容を編集ファイル形式で保存
一時保存へ追加
 詳細要約
  Automatic Authorization Analysis

Lamotte-Schubert, M. (2015). Automatic Authorization Analysis. PhD Thesis, Universität des Saarlandes, Saarbrücken.

Item is

 

表示: 全項目 非表示: 全項目

基本情報

表示: 非表示:
アイテムのパーマリンク: https://hdl.handle.net/11858/00-001M-0000-0028-FD0B-7 版のパーマリンク: https://hdl.handle.net/11858/00-001M-0000-002D-59E5-7
資料種別: 学位論文

ファイル

表示: ファイル

関連URL

表示:
非表示:
URL:
http://scidok.sulb.uni-saarland.de/volltexte/2015/6257/ (全文テキスト（全般）)
説明:
-
OA-Status:
Green
URL:
http://scidok.sulb.uni-saarland.de/doku/lic_ohne_pod.php?la=de (著作権譲渡合意書)
説明:
-
OA-Status:
Not specified

作成者

表示:
非表示:
 作成者:
Lamotte-Schubert, Manuel1, 2, 著者           
Weidenbach, Christoph1, 学位論文主査           
Baumgartner, Peter3, 監修者           
所属:
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              
3External Organizations, ou_persistent22              

内容説明

表示:

資料詳細

表示:
非表示:
言語: eng - English
 日付: 2015-09-182015-10-022015
 出版の状態: 出版
 ページ: 118 p.
 出版情報: Saarbrücken : Universität des Saarlandes
 目次: -
 査読: -
 識別子（DOI, ISBNなど）: BibTex参照ID: LamottePhd15
URN: urn:nbn:de:bsz:291-scidok-62575
 学位: 博士号 (PhD)

関連イベント

表示:

訴訟

表示:

Project information

表示:

出版物

表示: