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

アイテム詳細

登録内容を編集ファイル形式で保存
一時保存へ追加
 詳細要約
  Workshop: Complexity, Expressibility, and Decidability in Automated Reasoning - CEDAR'08

Baader, F., Ghilardi, S., Hermann, M., Sattler, U., & Sofronie-Stokkermans, V. (Eds.). (2008). Workshop: Complexity, Expressibility, and Decidability in Automated Reasoning - CEDAR'08. Sydney: CEDAR.

Item is

 

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

基本情報

表示: 非表示:
アイテムのパーマリンク: https://hdl.handle.net/11858/00-001M-0000-000F-1D64-7 版のパーマリンク: https://hdl.handle.net/11858/00-001M-0000-002C-183D-0
資料種別: 会議論文集
LaTeX : Workshop: Complexity, Expressibility, and Decidability in Automated Reasoning -- CEDAR'08

ファイル

表示: ファイル

関連URL

表示:

作成者

表示:
非表示:
 作成者:
Baader, Franz1, 編集者           
Ghilardi, Silvio, 編集者
Hermann, Miki, 編集者
Sattler, Ulrike, 編集者
Sofronie-Stokkermans, Viorica2, 編集者           
所属:
1Programming Logics, MPI for Informatics, Max Planck Society, ou_40045              
2Automation of Logic, MPI for Informatics, Max Planck Society, ou_1116545              

内容説明

表示:

資料詳細

表示:
非表示:
言語: eng - English
 日付: 2009-03-232008
 出版の状態: 出版
 ページ: 72
 出版情報: Sydney : CEDAR
 目次: -
 査読: -
 識別子（DOI, ISBNなど）: eDoc: 428266
URI: http://www.mpi-inf.mpg.de/~sofronie/proceedings-cedar08.pdf
その他: Local-ID: C125756E0038A185-4EDEFAD7D52C81B2C12574A2004C4649-Sofronie-Stokkermans-cedar2008
 学位: -

関連イベント

表示:
非表示:
イベント名: Untitled Event
開催地: Sydney, Australia
開始日・終了日: 2008-08-10 - 2008-08-15

訴訟

表示:

Project information

表示:

出版物

表示: