同値制約を考慮した第一階述語論理の決定可能なサブクラスによる等価性判定

記事を表すアイコン

同値制約を考慮した第一階述語論理の決定可能なサブクラスによる等価性判定

国立国会図書館請求記号
Z16-940
国立国会図書館書誌ID
8572299
資料種別
記事
著者
小澤 弘明ほか
出版者
東京 : 電子情報通信学会
出版年
2006-11-28
資料形態
掲載誌名
電子情報通信学会技術研究報告 = IEICE technical report : 信学技報 106(390) 2006.11.28
掲載ページ
p.5~10
すべて見る

書誌情報

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

資料種別
記事
著者・編者
小澤 弘明
浜口 清治
柏原 敏伸
タイトル(掲載誌)
電子情報通信学会技術研究報告 = IEICE technical report : 信学技報
巻号年月日等(掲載誌)
106(390) 2006.11.28
掲載巻
106
掲載号
390
掲載ページ
5~10
掲載年月日(W3CDTF)
2006-11-28