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

アイテム詳細

登録内容を編集ファイル形式で保存
 
 
ダウンロード電子メール
 詳細要約
  A Dynamic Logic for Configuration

Tang, C. H., & Weidenbach, C. (2016). A Dynamic Logic for Configuration. In C., Benzmüller, & J., Otten (Eds.), Proceedings of the 2nd International Workshop on Automated Reasoning in Quantified Non-Classical Logics (ARQNL 2016) affiliated with the International Joint Conference on Automated Reasoning (IJCAR 2016) (pp. 36-50). Aachen: CEUR-WS.org. Retrieved from http://ceur-ws.org/Vol-1770/ARQNL2016_paper3.pdf.

Item is

 

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

基本情報

表示: 非表示:
アイテムのパーマリンク: https://hdl.handle.net/11858/00-001M-0000-002C-4A34-D 版のパーマリンク: https://hdl.handle.net/11858/00-001M-0000-002C-4A36-9
資料種別: 会議論文

ファイル

表示: ファイル
非表示: ファイル
:
ARQNL2016_paper3.pdf (出版社版), 388KB
表示   保存
ファイルのパーマリンク:
https://hdl.handle.net/11858/00-001M-0000-002C-4A37-7
ファイル名:
ARQNL2016_paper3.pdf
説明:
-
OA-Status:
閲覧制限:
公開
MIMEタイプ / チェックサム:
application/pdf / [MD5]
技術的なメタデータ:
表示
著作権日付:
-
著作権情報:
Copyright © 2016 for the individual papers by the papers' authors. Copying permitted for private and academic purposes. This volume is published and copyrighted by its editors
CCライセンス:
-

関連URL

表示:

作成者

表示:
非表示:
 作成者:
Tang, Ching Hoo1, 著者           
Weidenbach, Christoph1, 著者           
所属:
1Automation of Logic, MPI for Informatics, Max Planck Society, ou_1116545              

内容説明

表示:

資料詳細

表示:
非表示:
言語: eng - English
 日付: 2016
 出版の状態: オンラインで出版済み
 ページ: -
 出版情報: -
 目次: -
 査読: -
 識別子（DOI, ISBNなど）: BibTex参照ID: TangARQNL2016
URI: http://ceur-ws.org/Vol-1770/ARQNL2016_paper3.pdf
 学位: -

関連イベント

表示:
非表示:
イベント名: 2nd International Workshop on Automated Reasoning in Quantified Non-Classical Logics
開催地: Coimbra, Portugal
開始日・終了日: 2016-07-01 - 2016-07-01

訴訟

表示:

Project information

表示:

出版物 1

表示:
非表示:
出版物名: Proceedings of the 2nd International Workshop on Automated Reasoning in Quantified Non-Classical Logics (ARQNL 2016) affiliated with the International Joint Conference on Automated Reasoning (IJCAR 2016)
  省略形 : ARQNL 2016
  その他 : IJCAR 2016
種別: 会議論文集
 著者・編者:
Benzmüller, Christoph1, 編集者
Otten, Jens1, 編集者
所属:
1 External Organizations, ou_persistent22            
出版社, 出版地: Aachen : CEUR-WS.org
ページ: 15 p. 巻号: - 通巻号: - 開始・終了ページ: 36 - 50 識別子（ISBN, ISSN, DOIなど）: URN: urn:nbn:de:0074-1770-7

出版物 2

表示:
非表示:
出版物名: CEUR Workshop Proceedings
種別: 連載記事
 著者・編者:
所属:
出版社, 出版地: -
ページ: - 巻号: 1770 通巻号: - 開始・終了ページ: - 識別子（ISBN, ISSN, DOIなど）: ISSN: 1613-0073