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

アイテム詳細

登録内容を編集ファイル形式で保存
一時保存へ追加
 詳細要約
  Combination of Disjoint Theories: Beyond Decidability

Fontaine, P., Merz, S., & Weidenbach, C. (2012). Combination of Disjoint Theories: Beyond Decidability. In B., Gramlich, & D., Miller (Eds.), Automated Reasoning (pp. 256-270). Berlin: Springer. doi:10.1007/978-3-642-31365-3_21.

Item is

 

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

基本情報

表示: 非表示:
アイテムのパーマリンク: https://hdl.handle.net/11858/00-001M-0000-0014-B3C4-7 版のパーマリンク: https://hdl.handle.net/11858/00-001M-0000-0023-C296-B
資料種別: 会議論文

ファイル

表示: ファイル

関連URL

表示:

作成者

表示:
非表示:
 作成者:
Fontaine, Pascal1, 著者
Merz, Stephan1, 著者
Weidenbach, Christoph2, 著者           
所属:
1External Organizations, ou_persistent22              
2Automation of Logic, MPI for Informatics, Max Planck Society, ou_1116545              

内容説明

表示:

資料詳細

表示:
非表示:
言語: eng - English
 日付: 20122012
 出版の状態: 出版
 ページ: -
 出版情報: -
 目次: -
 査読: -
 識別子（DOI, ISBNなど）: BibTex参照ID: FontaineMerzWeidenbach12
その他: Local-ID: 71B57E225528E4E0C1257B50002E86AE-FontaineMerzWeidenbach12
DOI: 10.1007/978-3-642-31365-3_21
 学位: -

関連イベント

表示:
非表示:
イベント名: 6th International Joint Conference on Automated Reasoning
開催地: Machnester, UK
開始日・終了日: 2012-06-26 - 2012-06-29

訴訟

表示:

Project information

表示:

出版物 1

表示:
非表示:
出版物名: Automated Reasoning
  副タイトル : 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings
種別: 会議論文集
 著者・編者:
Gramlich, Bernhard1, 編集者
Miller, Dale1, 編集者
Sattler, Uli1, 著者
所属:
1 External Organizations, ou_persistent22            
出版社, 出版地: Berlin : Springer
ページ: - 巻号: - 通巻号: - 開始・終了ページ: 256 - 270 識別子（ISBN, ISSN, DOIなど）: ISBN: 978-3-642-31364-6

出版物 2

表示:
非表示:
出版物名: Lecture Notes in Artificial Intelligence
  省略形 : LNAI
種別: 連載記事
 著者・編者:
所属:
出版社, 出版地: -
ページ: - 巻号: 7364 通巻号: - 開始・終了ページ: - 識別子（ISBN, ISSN, DOIなど）: ISSN: 0302-9743