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

アイテム詳細

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

Prevosto, V., & Waldmann, U. (2006). SPASS+T. In G., Sutcliffe, R., Schmidt, & S., Schulz (Eds.), Proceedings of the FLoC'06 Workshop on Empirically Successful Computerized Reasoning (pp. 18-33). Aachen: CEUR-WS.org. Retrieved from http://CEUR-WS.org/Vol-192/paper02.pdf.

Item is

 

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

基本情報

表示: 非表示:
アイテムのパーマリンク: https://hdl.handle.net/11858/00-001M-0000-000F-24DF-7 版のパーマリンク: https://hdl.handle.net/11858/00-001M-0000-0024-AD22-C
資料種別: 会議論文
LaTeX : {SPASS+T}

ファイル

表示: ファイル

関連URL

表示:
非表示:
URL:
http://ceur-ws.org/Vol-192/paper02.pdf (全文テキスト（全般）)
説明:
-
OA-Status:

作成者

表示:
非表示:
 作成者:
Prevosto, Virgile1, 著者           
Waldmann, Uwe2, 著者           
所属:
1External Organizations, ou_persistent22              
2Automation of Logic, MPI for Informatics, Max Planck Society, ou_1116545              

内容説明

表示:
非表示:
キーワード: -
 要旨: SPASS+T is an extension of the superposition-based theorem prover SPASS that allows us to enlarge the reasoning capabilities of SPASS using an arbitrary SMT procedure for arithmetic and free function symbols as a black-box. We discuss the architecture of SPASS+T and the capabilities, limitations, and applications of such a combination.

資料詳細

表示:
非表示:
言語: eng - English
 日付: 2007-03-062006
 出版の状態: オンラインで出版済み
 ページ: -
 出版情報: -
 目次: -
 査読: -
 識別子（DOI, ISBNなど）: eDoc: 521690
BibTex参照ID: PrevostoWaldmann2006
URI: http://CEUR-WS.org/Vol-192/paper02.pdf
その他: Local-ID: C125716C0050FB51-D0763023EF7C1D65C125721F003B2849-PrevostoWaldmann2006
 学位: -

関連イベント

表示:
非表示:
イベント名: FLoC'06 Workshop on Empirically Successful Computerized Reasoning
開催地: Seattle, WA, USA
開始日・終了日: 2006-08-21 - 2006-08-21

訴訟

表示:

Project information

表示:

出版物 1

表示:
非表示:
出版物名: Proceedings of the FLoC'06 Workshop on Empirically Successful Computerized Reasoning
  省略形 : ESCoR 2006
種別: 会議論文集
 著者・編者:
Sutcliffe, Geoff1, 編集者           
Schmidt, Renate1, 編集者
Schulz, Stephan1, 編集者
所属:
1 External Organizations, ou_persistent22            
出版社, 出版地: Aachen : CEUR-WS.org
ページ: - 巻号: - 通巻号: - 開始・終了ページ: 18 - 33 識別子（ISBN, ISSN, DOIなど）: -

出版物 2

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