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

アイテム詳細

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

Lev-Ami, T., Weidenbach, C., Reps, T., & Sagiv, M. (2007). Labelled Clauses. In F., Pfenning (Ed.), Automated Deduction - CADE-21: 21st International Conference on Automated Deduction (pp. 311-327). Berlin, Germany: Springer.

Item is

 

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

基本情報

表示: 非表示:
アイテムのパーマリンク: https://hdl.handle.net/11858/00-001M-0000-000F-1FA9-C 版のパーマリンク: https://hdl.handle.net/11858/00-001M-0000-000F-1FAA-A
資料種別: 会議論文

ファイル

表示: ファイル

関連URL

表示:

作成者

表示:
非表示:
 作成者:
Lev-Ami, Tal, 著者
Weidenbach, Christoph1, 2, 著者           
Reps, Thomas, 著者
Sagiv, Mooly, 著者
所属:
1Automation of Logic, MPI for Informatics, Max Planck Society, ou_1116545              
2Programming Logics, MPI for Informatics, Max Planck Society, ou_40045              

内容説明

表示:

資料詳細

表示:
非表示:
言語: eng - English
 日付: 2008-03-252007
 出版の状態: 出版
 ページ: -
 出版情報: Berlin, Germany : Springer
 目次: -
 査読: -
 識別子（DOI, ISBNなど）: eDoc: 356453
DOI: 10.1007/978-3-540-73595-3_21
その他: Local-ID: C12573CC004A8E26-75B70FE42101172CC12572C1002EC7C3-LevAmiWeidenbachEtAl2007CADE
 学位: -

関連イベント

表示:
非表示:
イベント名: Untitled Event
開催地: Bremen, Germany
開始日・終了日: 2007-04-18 - 2007-04-18

訴訟

表示:

Project information

表示:

出版物 1

表示:
非表示:
出版物名: Automated Deduction - CADE-21 : 21st International Conference on Automated Deduction
種別: 会議論文集
 著者・編者:
Pfenning, Frank, 編集者
所属:
-
出版社, 出版地: Berlin, Germany : Springer
ページ: - 巻号: - 通巻号: - 開始・終了ページ: 311 - 327 識別子（ISBN, ISSN, DOIなど）: ISBN: 978-3-540-73594-6

出版物 2

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