第一階述語論理のサブ...

第一階述語論理のサブクラスを利用したブール関数レベルの等価性判定手法

Icons representing 記事

第一階述語論理のサブクラスを利用したブール関数レベルの等価性判定手法

Call No. (NDL)
Z14-1121
Bibliographic ID of National Diet Library
7808789
Material type
記事
Author
森友 淳史ほか
Publisher
東京 : 情報処理学会
Publication date
2006-01
Material Format
Paper
Journal name
情報処理学会研究報告 = IPSJ SIG technical reports 2006(4) 2006.1.17・18
Publication Page
p.49~54
View All

Bibliographic Record

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Paper

Material Type
記事
Author/Editor
森友 淳史
浜口 清治
柏原 敏伸
Periodical title
情報処理学会研究報告 = IPSJ SIG technical reports
No. or year of volume/issue
2006(4) 2006.1.17・18
Volume
2006
Issue
4
Pages
49~54
Publication date of volume/issue (W3CDTF)
2006-01