図書

時相論理の充足可能性判定器のためのベンチマーク用論理式生成法 : preliminary version (算譜科学研究速報 ; AIST-PS-2005-15)

図書を表すアイコン

時相論理の充足可能性判定器のためのベンチマーク用論理式生成法 : preliminary version

(算譜科学研究速報 ; AIST-PS-2005-15)

国立国会図書館請求記号
Y251-H928
国立国会図書館書誌ID
000007951535
資料種別
図書
著者
関澤俊弦, 高井利憲, 田辺良則, 高橋孝一 [著]ほか
出版者
産業技術総合研究所関西センター尼崎事業所システム検証研究センター
出版年
2005.9
資料形態
ページ数・大きさ等
13p ; 30cm
NDC
-
すべて見る

書店で探す

書誌情報

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

資料種別
図書
タイトルよみ
ジソウ ロンリ ノ ジュウソク カノウセイ ハンテイキ ノ タメノ ベンチマークヨウ ロンリシキ セイセイホウ
著者・編者
関澤俊弦, 高井利憲, 田辺良則, 高橋孝一 [著]
産業技術総合研究所関西センター尼崎事業所システム検証研究センター 編
出版年月日等
2005.9
出版年(W3CDTF)
2005
数量
13p
大きさ
30cm