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

アイテム詳細

  Encoding two-valued non-classical logics in classic logic

Nonnengart, A., Ohlbach, H. J., & Gabbay, D. M. (2001). Encoding two-valued non-classical logics in classic logic. In A., Robinson, & A., Voronkov (Eds.), Handbook of Automated Reasoning (pp. 1403-1486). Amsterdam, the Netherlands: Elsevier.

Item is

基本情報

表示: 非表示:
資料種別: 書籍の一部

ファイル

表示: ファイル

関連URL

表示:

作成者

表示:
非表示:
 作成者:
Nonnengart, Andreas1, 著者           
Ohlbach, Hans Jürgen1, 著者           
Gabbay, Dov M., 著者
所属:
1Programming Logics, MPI for Informatics, Max Planck Society, ou_40045              

内容説明

表示:

資料詳細

表示:
非表示:
言語: eng - English
 日付: 2010-03-122001
 出版の状態: 出版
 ページ: -
 出版情報: Amsterdam, the Netherlands : Elsevier
 目次: -
 査読: -
 識別子(DOI, ISBNなど): eDoc: 519743
その他: Local-ID: C1256104005ECAFC-C7B54EC0C6CD4AEAC125675F002AD10F-NonnengartOhlbachGabbay2001
 学位: -

関連イベント

表示:

訴訟

表示:

Project information

表示:

出版物 1

表示:
非表示:
出版物名: Handbook of Automated Reasoning
種別: 書籍
 著者・編者:
Robinson, Alan, 編集者
Voronkov, Andrei1, 編集者           
所属:
1 Programming Logics, MPI for Informatics, Max Planck Society, ou_40045            
出版社, 出版地: Amsterdam, the Netherlands : Elsevier
ページ: - 巻号: 2 通巻号: - 開始・終了ページ: 1403 - 1486 識別子(ISBN, ISSN, DOIなど): -