ヘルプ
ヘルプ
雑誌情報処理学会研究報告
巻号2007(114) 2007.11.20-22
記事第一階述語論理のサブ...

第一階述語論理のサブクラスに対する項の高さ縮減を用いた不変条件の近似的検証アルゴリズム (システムLSI設計技術・デザインガイア2007--VLSI設計の新しい大地を考える研究会)

記事を表すアイコン

第一階述語論理のサブクラスに対する項の高さ縮減を用いた不変条件の近似的検証アルゴリズム

(システムLSI設計技術・デザインガイア2007--VLSI設計の新しい大地を考える研究会)

国立国会図書館請求記号
Z14-1121
国立国会図書館書誌ID
9294084
資料種別
記事
著者
清水 博章ほか
出版者
東京 : 情報処理学会
出版年
2007-11
資料形態
紙
掲載誌名
情報処理学会研究報告 = IPSJ SIG technical reports 2007(114) 2007.11.20-22
掲載ページ
p.19～24
すべて見る

全国の図書館の所蔵

国立国会図書館以外の全国の図書館の所蔵状況を表示します。

連携機関・データベースの一覧

所蔵のある図書館から取寄せることが可能かなど、資料の利用方法は、ご自身が利用されるお近くの図書館へご相談ください

その他

  • CiNii Research

    検索サービス
    連携先のサイトで、CiNii Researchが連携している機関・データベースの所蔵状況を確認できます。
    この本の所蔵を確認

書誌情報

この資料の詳細や典拠（同じ主題の資料を指すキーワード、著者名）等を確認できます。

紙

資料種別
記事
タイトル
第一階述語論理のサブクラスに対する項の高さ縮減を用いた不変条件の近似的検証アルゴリズム
著者・編者
清水 博章
浜口 清治
柏原 敏伸
シリーズタイトル
システムLSI設計技術・デザインガイア2007--VLSI設計の新しい大地を考える研究会
著者標目
清水 博章
浜口 清治
柏原 敏伸
並列タイトル等
An approximate invariant property checking using term-height reduction for a subset of first-order logic
タイトル（掲載誌）
情報処理学会研究報告 = IPSJ SIG technical reports
巻号年月日等（掲載誌）
2007(114) 2007.11.20-22
掲載巻
2007
掲載号
114